The lightest AI sandbox. A process-based sandbox for Linux, no container, no VM, no privilege, no prompt injection

Sandbox untrusted code with safe access to the host.

Marionette is a deterministic simulation testing (DST) library for Zig.

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

Protocol specs in Python you can verify: test, simulate, model check, prove

Rule-based symbolic integration, based on Rubi.

Language model tokenization at GB/s

Session attach/detach for the terminal

Large-scale collision and birthday-spacings tests for pseudorandom number generators

A little fail-safe filesystem designed for microcontrollers

A UI layout engine written in Rust

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

A declarative configuration deployment tool

A prompt engineering functional programming language

Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.

Property-based testing library based on Reflective Generators

Completion-based I/O for Rust. No runtime, no hidden tasks.

A rust crate that provides a space efficient 𝛿-based CRDT implementation

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Gecko: a fast GLR parser with automatic syntax error recovery

A SQL extension for declarative data visualisation based on the Grammar of Graphics.

AnchorHash - A Scalable Consistent Hash

A simple and fast linear algebra library for games and graphics

AIStore: scalable storage for AI applications

WebAssembly Toolkit for Go

👾 The lightest signal library

High-performance time series downsampling algorithms for visualization

Interactive playground for exploring and sharing TLA+ specifications in the browser.

Reference code for the Slug Algorithm.