Max Bernstein

spacewasm. A flight-compliant WebAssembly interpreter.

chatto. A fully-featured team and group chat application that you can easily selfhost.

crok. CLI testing utility

hamt. Ruby

copapy. Tracing based copy-and-patch compiler for low-latency realtime Python

tinysearch. 🔍 Tiny, full-text search engine for static websites built with Rust and Wasm

lean.py. Easy bindings between Lean and Python.

crustc. Entirety of `rustc`, translated to C.

thundersnap. Thundering Herd replication and Thanos Snap durability, together at last

stoffel. Rust

test-that. Test assertion library for Rust

JavaComancheLikeSimpleVoxelSpaceEngineTest. Java 2.5D Comanche-like Simple Voxel Space Engine test implemented using just standard libraries (java 2D, Swing, AWT), so no external libraries required. Video: https://youtu.be/d1MVZukvP_w

tikz-editor. A WYSIWYG editor for TikZ that parses TikZ code

eternal. Eternal Software Initiative

optocamzero. Optocam Zero is a Raspberry Pi Zero based compact digital camera made using off the shelf components.

make-look-scanned. Makes PDFs look scanned (CLI or in the browser via WASM)

rusty-jvm. A comprehensive, from-scratch Java Virtual Machine built in Rust, featuring a modular architecture, full bytecode support, and JNI integration

micro. Python

eq-prog-opt. Rust

beagle. Beagle - git-compatible revision control for modern workflows 🐕

zinnia. Modular Unix-like 64-bit kernel

kage. Shadow any website for offline viewing, with the JavaScript stripped out

daylight-mirror. Screen mirroring solution for using Daylight Computer as external Mac display

inferencefs. The new data-free filesystem!

container. A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

rayforce. SIMD-accelerated columnar database for analytics — pure C, zero dependencies

meltdown. A naive markdown parser in python

prela. Rust

voxelspace. C

revo. a dynamic language for the joy of programming

Eggbau. An Egglog proof search engine for Aufbau

Aufbau. A Metamath Zero Verifier Written in Zig

z3. Ruby bindings for Z3 constraint solver library

asciimage-ruby. ASCIImage parser and tools written in Ruby

avg. Ascii vector graphics

cocoscii. Javascript version of ASCIImage

ASCIImage. Create UIImage / NSImage instances with NSString and ASCII art

wasmrt. Portable, lightweight and embeddable WebAssembly runtime in C

egwalker-paper. Eg-walker paper, experiments and data.

oxiz. OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

mvm. Mvm is a fast interpreter and virtual machine for Go and beyond.

ffi-llvm-jit. Ruby FFI JIT using LLVM

gitsocial. Cross-forge collaboration platform

xsofy. Roguelike that names itself each run. WIP

roland. Roland programming language

ratty. A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀

Tiny-Lua-Compiler. 🌸 Possibly the smallest Lua compiler ever

octo.nvim. Edit and review GitHub issues and pull requests from the comfort of your favorite editor

gcli. Portable Git(hub|lab|tea)/Forgejo/Bugzilla CLI tool, Submit patches here: https://lists.sr.ht/~herrhotzenplotz/gcli-devel

diffx. A local code review tool designed for the coding agent workflow

git-pages. Mirror of https://codeberg.org/git-pages/git-pages

hunk. Review-first terminal diff viewer for agentic coders

lwan. Experimental, scalable, high performance HTTP server

lakeFS. lakeFS - Data version control for your data lake | Git for data

autumn. WebAssembly interpreter that fits in a QR code

rpylean. A Lean (4) type checker written in RPython

tailcall. Stack-safe tail calls on stable Rust

elfeed2. The Elfeed feed reader experience without Emacs

boundvariable. Mirror of 2006 ICFP source with some updates

gztool. extract random-positioned data from gzip files with no penalty, including gzip tailing like with 'tail -f' !

crfs. CRFS: Container Registry Filesystem

dagdotdev. oci and apk explorer

ratarmount. Access large archives as a filesystem efficiently, e.g., TAR, RAR, ZIP, GZ, BZ2, XZ, ZSTD archives

sea-front. C++-to-C transpiler for trusted bootstrap of GCC and Clang

mosml. Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

bytecodegen. DSL for generating bytecode encodings and interpreters

zef. Zef Programming Language

ikvm. A Java Virtual Machine and Bytecode-to-IL Converter for .NET

llxvm. Compile C sources to JVM Bytecode or .Net CIL

theseus. static translator for dos/win32 executables

patchouly. An experimental copy-and-patch JIT framework in Rust (WIP slowly)

rustc_codegen_c. The functional Rust compiler that transpiles all Rust code into C code

lambda-calculus-hs. A bestiary of lambda calculus

online-cse. Paper on online common subexpression elimination

watgo. WebAssembly Toolkit for Go

cgiirc. CGI:IRC web based IRC client

jsir. Next-generation JavaScript analysis tooling

sky. Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

RustyLR. A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.

rad. Modern CLI scripts made easy.

lisette. A little language inspired by Rust that compiles to Go

brush. 🐚bash/POSIX-compatible shell implemented in Rust 🦀

snake_skin_bytecode. runtime extraction of the ast one bytecode at a time! for the snake lang

soppo. Go, with the features it's missing.

edge-python. Single-pass SSA bytecode compiler and threaded-code stack VM for a sandboxed Python subset: NaN-boxed values, inline caching, super-instruction fusion, pure-function memoization, mark-sweep GC. Coverage-guided fuzzing; around 200 KB WebAssembly module runs in the browser.

1subml. The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

beadie. Beadie: Hot-function promotion broker for interpreter-to-JIT tiering

git_bayesect. Bayesian git bisect

pyre. PyRe will be a very fast and compliant implementation of the Python language.

reninja. Reninja: faster, more observable ninja builds

pretext. Fast, accurate & comprehensive text measurement & layout

Wax. [ASPLOS '26] Wax: a novel technique to optimize data center applications with stale profile

bigO. Measures empirical computational complexity (in both time and space) of functions

Simple-DEFLATE-decompressor. Simple compliant DEFLATE decompressor in Java, Python, C++, TypeScript.

jsongrep. A path query language for JSON, YAML, TOML, and other serialization formats.

vit. Git for video editing.

low-overhead-profiler. Simple single-digit-nanosecond-overhead tracer

rperf. safepoint-based sampling performance profiler for Ruby

mrubyz. Experimental mruby VM for Z80

gigatrace. Proof-of-concept for a memory-efficient data structure for zooming billion-event traces

exy. WIP

bombadil. Property-based testing for web and terminal UIs

threadprocs. Experimental thread-like processes, multiple executables in one address space

RawTherapee. A powerful cross-platform raw photo processing program

Filmvert. Film inversion software

OpenRCT2. An open source re-implementation of RollerCoaster Tycoon 2 🎢

manyana. Python

pointer-utils. A collection of small utilities for working with pointer types in Rust.

portal-tunneler. Create SSH-like TCP tunnels over a hole-punched QUIC connection

tinywasm. A Tiny Webassembly Runtime Written in Rust

tracing. Application level tracing for Rust.

cannoli. High-performance QEMU memory and instruction tracing

ghostling. A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣

ips. Ruby

autobacklog. TypeScript

jvm-pybind. JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).

cmux. Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.

vibebin. vibebin: code and host inside Incus containers on your own VPS/server.

zeroboot. Sub-millisecond VM sandboxes for AI agents via copy-on-write forking

NBHM. C

asmkit. Assembler toolkit: encoding and decoding of various architectures

horizon. GPU-accelerated terminal board that puts all your sessions on an infinite canvas

valgrind-macos. A valgrind mirror with latest macOS support

pp. A single-header implementation of A Prettier Printer

ruson. Sea of Nodes - Simple example implemented in Rust.

simple.mbt. A Simple showcase for the Sea-of-Nodes compiler IR in MoonBit

agbcc. C compiler

web2js. Convert TeX's pascal to javascript

tikzjax. TikZJax is TikZ running under WebAssembly in the browser

obsidian-tikzjax. Render LaTeX and TikZ diagrams in your notes

ffc.h. Single-header c99 accelerated float/double parsing. Port of the fast_float library.

gabagool. Snapshotable WebAssembly interpreter from scratch. Includes a time travel debugger

columba. Native Android messaging app using Bluetooth LE, TCP, or RNode (LoRa) over LXMF and Reticulum

WASI-Virt. Virtual implementations of WASI APIs

WasmContinuations. Racket

mrubyedge. A Wasm-focused mruby VM implementation, built upon pure Rust

CasNum. CasNum (Compass and straightedge Number) is a library that implements arbitrary precision arithmetic using compass and straightedge constructions. Featuring a functional modified Game Boy emulator where every ALU opcode is implemented entirely through geometric constructions.

lake-native-compiler. Native compiler for the Lake process-oriented systems programming language. Cranelift backend, cooperative scheduler, direct syscalls, no libc.

gum. A tool for glamorous shell scripts 🎀

reredirect. Tool to dynamicly redirect outputs of a running process

ucode. JavaScript-like language with optional templating

pi. AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

yoagent. Rust

gc. A header-only, conservative tracing garbage collector in C

nCPU. nCPU: model-native and tensor-optimized CPU research runtimes with organized workloads, tools, and docs

weave. Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.

javabox. Container that runs in the browser that allows you to run Java and view the output

thin-vec. A Vec That Has a Smaller size_of

qip. Run composable WebAssembly modules securely

smolvm. Portable, lightweight, self-contained virtual machines.

terminology. The best terminal emulator based on the Enlightenment Foundation Libraries

micro-liquid. A non-evaluating alternative to f-strings and t-strings.

liquid-rust. Liquid templating for Rust

nullclaw. Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig

inc-complete. A library for incremental computations

Woxi. Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

picofb.h. A stb-style single-header cross-platform windowing library for software rendered applications

splathash. 16 bytes fixed size image placeholder, an alternative to blurhash and thumbhash

maiao. Seamless GitHub PR management from the command-line

buildkit. concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

gitgres. Store git objects and refs in PostgreSQL tables. Standard git push/clone work against the database through a libgit2-based backend.

elegance. A pretty-printing library for Rust with a focus on speed and compactness.

franken_engine. Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale containment.

Left-Leaning-Red-Black-Trees. A verified implementation of Left-Leaning Red-Black trees in C and in C++.

DMMSY-SSSP. Experimental C implementation of “Breaking the Sorting Barrier for Directed Single-Source Shortest Paths” by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin (STOC 2025)

ifttt-lint. IfThisThenThat Linter

gojq. Pure Go implementation of jq

bwarr. Black-White Array: fast, ordered data structure based on arrays with O(log N) memory allocations

shuru. A local-first microVM sandbox for running AI agents safely on macOS & Linux

mini-alive. A minimal re-implementation of Alive2, intended as a test bed for research

ajail. a basic jail for programs you don't completely trust

Admiran. Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda

micasa. A modal TUI for tracking home projects, maintenance schedules, appliances, and vendor quotes.

egraphs.cpp. E-Graph library

egraph-zoo. Python

shiro. Browser-native cloud OS - Unix environment running entirely in the browser via WebAssembly and IndexedDB

hornbeam. WSGI/ASGI HTTP server powered by the BEAM. Mix the best of Python (AI, web apps) with Erlang (distribution, concurrency, resilience).

6cy. High-performance, streaming-first container format with per-block codec polymorphism and robust data recoverability. Reference implementation in Rust.

control_flow_graph. Dart library for creating and manipulating control flow graphs and SSA form.

off-grid-ai-mobile. The Swiss Army Knife of Offline AI. Chat, Speak, and Generate Images - Privacy First, Zero Internet. Download an LLM and use it on your mobile device. No data ever leaves your phone. Supports text-to-text, vision, text-to-image

oat. Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~8KB min+gz.

picoclaw. Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity

zeroclaw. Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀

ironclaw. IronClaw is an Agent OS focused on privacy, security and extensibility

vdb. A header-only C vector database library

microeggpy. Rust

moss-kernel. Rust Linux-compatible kernel

microegg. Rust

rari. rari: High-performance React Server Components framework powered by a Rust runtime, delivering 18.1x faster response times (0.12ms vs 2.17ms) and 67.4x higher throughput (97,826 vs 1,452 req/sec) than Next.js with zero-config setup.

claude-chill. Rust

rWasm. A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

tinycov. tinykvm-based binary coverage instrumentation

genzshcomp. Python

optcomplete. Shell Completion Self-Generator for Python

CLanguage. C/C++ parser, compiler, and interpreter for .NET

pred_recdec. Predicated LL (recursive descent) parser in pure rust

matchlock. Matchlock secures AI agent workloads with a Linux-based sandbox.

fun-with-clip-path. CSS

try. fresh directories for every vibe

libvmod-tinykvm. C++