A code rewrite tool for structural search and replace that supports ~every language.

Irmin is a distributed database that follows the same design principles as Git

Programming Languages Zoo

A functional programming language based on algebraic effect handlers

Vult is a transcompiler well suited to write high-performance DSP code

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

Experiment on how to bootstrap the OCaml compiler

Gosling emacs from early 1980s

Unix implementation of the Mirage_types.BLOCK interface