Zubspace: Remake of the classic SubSpace game, in the browser!

AWS, Google Cloud and Azure emulators in one binary, on one port

The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.

A markdown native slides tool for academics building with agents.

High-throughput batched ASR for NVIDIA GPUs. Run Zipformer and NVIDIA NeMo Parakeet models through one Python API with TensorRT, custom CUDA plugins, GPU beam search, and word timestamps - up to 25…

Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per re…

A Git-compatible VCS that is both simple and powerful

Stream and download millions of Hi-Res FLACs, unreleased songs and music videos, all for free on Monochrome.

Serialized Roaring Bitmaps in Zig

Tiny and powerful JavaScript full-text search engine for browser and Node

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

Point it at any web page and it finds the video, transcodes it, and streams it to your TV in real time. It even burns in subtitles.

Agentic code review for the Linux kernel and other critical open-source systems software

Multi-platform high-performance compute language extension for Rust.

Nano vLLM

Silero VAD: pre-trained enterprise-grade Voice Activity Detector

Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

Polyglot, deterministic, sandboxed WASM runtime. Run or compile any language to one sealed, reproducible artifact.

Lightweight, container-free sandbox for running commands with network and filesystem restrictions

Security firewall for agents

A rigorous copy editor for Claude Code, inspired by the Hemingway Editor. Flags passive voice, adverbs, jargon, and AI slop — then rewrites.

LemmaScript case study of an app to find the time that works

[NeurIPS 2026 Spotlight] Fast, lossless LLM inference via dual-view diffusion decoding.

A verification toolchain for Rust programs

Smart code reading for humans and AI agents. Definitions, callers, dependencies and function-level diffs from tree-sitter. One binary, no index. MCP server + CLI. Install: cargo install tilth or np…

Train the smallest LM you can that fits in 16MB. Best model wins!