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

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