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

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

FFmpeg for browser, powered by WebAssembly

High performance UI layout library in C.

Share your terminal over the web

A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.

The seL4 microkernel

Linux running inside a PDF file via a RISC-V emulator

Wrangling Untrusted File Formats Safely

XDP tutorial

Io programming language. Inspired by Self, Smalltalk and LISP.

SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

Praat: Doing Phonetics By Computer

NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems

Sandbox for securely executing untrusted programs

EsoLangVM Compiler Infrastructure

A completely vibecoded operating system targeting Aarch64

Dynamic Tracing in Linux

2D & 3D TeX-Aware Vector Graphics Language

A Lisp interpreter implemented in Conway's Game of Life

Lightweight and fast programming language designed to be written in Chinese.

Source code of calculators hosted at https://www.alpertron.com.ar

Cirron measures performance counters (instructions executed, etc.) and traces system calls a piece of Python or Ruby code executes.

single source shaders for opengl