Rex: A strongly-typed, pure, implicitly parallel functional programming language
A simple implementation of congruence closure
A simple general purpose tree data structure.
A heap implementation over a vector
A TUI-based music player wrapper for MPV
Unofficial Codex Desktop ASR client that reuses local ChatGPT auth for one-shot transcription