Utility for booting IncludeOS binaries

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Lean 4 programming language and theorem prover

Pony in the air using Raspberry Pi and brushless motor

Poplar libraries

Example code and applications for machine learning on Graphcore IPUs

TensorFlow for the IPU

PyTorch interface for the IPU

A modern formatting library

simple epoll wrapper

Intel® Performance Counter Monitor (Intel® PCM)

A sandboxed execution environment for unikernels

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

The Unikernel & MicroVM Compilation and Deployment Platform

A http package for IncludeOS

A minimal, resource efficient unikernel for cloud services

OCaml Ctypes inverted stubs for Ocaml-tls.

Acorn Web Server Appliance, built with IncludeOS

Guidelines Support Library

A http package for IncludeOS

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

A minimal, resource efficient unikernel for cloud services

Early VM experiments