The seL4 microkernel

Wrangling Untrusted File Formats Safely

Drivers and libraries for the Xbox Kinect device on Windows, Linux, and OS X

Inspektor Gadget is a set of tools and framework for data collection and system inspection on Kubernetes clusters and Linux hosts using eBPF

Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)

Algebraic data types for C99

Lightweight overlay volume, brightness (or anything) bar for Wayland

Automatically exported from code.google.com/p/micropolis

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A darktable fork minus the bloat plus some design vision.

The Felix Programming Language

The only public framework for developing applications with native refresh support for Remarkable Tablet

The reliability of disk images, the flexibility of files

Dr Strangehack, or: how to write a self-hosting C compiler in 10 hours

raw photography workflow that sucks less

A command-line VST plugin host

Neptune OS: A Windows NT personality for the seL4 microkernel

Full-featured interfaces for C99

CJAG is an open-source implementation of our cache-based jamming agreement.

Network Observability eBPF Agent

Proof-of-concept Wayland keylogger

Improved version of the NIST Statistical Test Suite (STS)

MPPT Solar Battery Charger

Haskell bindings for libmdbx