Linux kernel source tree

Display and control your Android device

The fastest path to AI-powered full stack observability, even for lean teams.

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

OBS Studio - Free and open source software for live streaming and screen recording

tmux source code

Command-line JSON processor

How to Make a Computer Operating System in C++

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

build-once run-anywhere c library

Open-source keyboard firmware for Atmel AVR and Arm USB families

Open-source vector similarity search for Postgres

Inference Llama 2 in one file of pure C

i3-compatible Wayland compositor

Learning operating system development using Linux kernel and Raspberry Pi

Distributed PostgreSQL as an extension

A tiny but valid `init` for containers

Share your terminal over the web

A text editor in less than 1000 LOC with syntax highlight and search.

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

Beanstalk is a simple, fast work queue.

Transmits AM radio on computers without radio transmitting hardware.

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

A Dead Simple VPN.

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

A full functional WiFi Repeater (correctly: a WiFi NAT Router)

Arm Mbed OS is a platform operating system designed for the internet of things

Wrangling Untrusted File Formats Safely

An implementation of the TLS/SSL protocols