Lean's LEDE source

How to create an OS from scratch

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

UNIX-like reverse engineering framework and command-line toolset

High performance UI layout library in C.

Embedded web server, with TCP/IP network stack, MQTT and Websocket

Distributed PostgreSQL as an extension

A tiny but valid `init` for containers

Share your terminal over the web

A cross-platform, linkable library implementation of Git that you can use in your application.

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.

A tiny immediate-mode UI library

The seL4 microkernel

Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)

Graph database optimized for fast analysis and real-time data processing. It is provided as an extension to PostgreSQL.

A portable foreign-function interface library.

XLibre Xserver

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

Library providing helpers for the Linux kernel io_uring support

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

Implementations of SIMD instruction sets for systems which don't natively support them.

Linux kernel source tree

C library for prototyping and experimenting with quantum-resistant cryptography

Your high performance web application C framework

Header only library for writing build recipes in C.

C library to create simple HTTP servers and Web Applications.

Go bindings for GLFW 3

Command line pastebin for sharing terminal output.