stb single-file public domain libraries for C/C++

an OCI-compatible container runtime for Solo5

Wayland Compositor in Minecraft

KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

Streamlining the release of dune packages to opam

A TCP/IP implementation in pure OCaml

Template for a package containing custom OCaml/Unikraft configurations

A very simple skeleton for drafting your first Unikernel using Mkernel (For workshop Materials)

GitHub Action that installs SSH key to .ssh

The cutest instant messenger in the [matrix]

Bobkonf 2026 tutorial on multicore safety in OCaml

A web-based terrain rendering engine, currently showcasing the French Alps.

Demo using a deep learning model to detect forest fires using sentinel-2 multi-spectral satellite imagery

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

Pure OCaml library for working with TIFF files

Examples of computing over encrypted or private data

A simple KV-store as an unikernel

A minimal toolkit for everyday OCaml programs

Unikraft port of Python 3

unofficial bitwarden cli

A fast usermode x86 and x86-64 emulator for Arm64 Linux

A radical OCaml build system

A from-scratch operating system attempting to make a full user experience.

ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.

OCaml cross-compiler to freestanding Unikraft backends

Fork of the main Unikraft repository used for ARM64 binary compatibility work

A simple unikernel to serve files via HTTP in full OCaml