Stars
Idol, an IDL and binary encoding for zero-copy local IPC
A simple example of how to build FlatBuffers with Bazel.
Nanolog is an extremely performant nanosecond scale logging system for C++ that exposes a simple printf-like API.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.
pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast …
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
Linear algebra foundation for the Rust programming language
Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama
A simple, small, work in progress SAT-solver, written in ANSI C
Distribute and run LLMs with a single file.
A proof of the infinitude of primes in Lean 4 from first principles
A FORTH in 340 bytes — the smallest real programming language ever as of yet.
Envision a future where every student can read all the code of a teaching operating system.
A floor-routing WAN implementing a chat over bare-LoRa (no LoRaWAN).
The FORM project for symbolic manipulation of very big expressions
Convert ASCII-armored PGP keys to animated QR code
Conway's Game of Life in APL in FORTH: how to implement a weird programming language using another weird programming language
DuckDB is an analytical in-process SQL database management system