Code
Short write-ups of my software projects, most of them built during #100DaysOfVibe. Each post explains what the project is for, shows how it’s used, and is honest about its state. The source code isn’t public at the moment; ask me if you’d like to see it.
- jax-rs NumPy-style arrays and automatic differentiation in Rust, with a WebGPU backend.
- Ripley A daemon that keeps checking whether an LLM coding agent is still trying.
- cargo-x402 Scaffold Rust projects for x402, the HTTP-native payment protocol, from community templates.
- AgentFS A filesystem, key-value store and tool-call audit log for AI agents, on SQLite, PostgreSQL or MySQL.
- AgentSmith Persistent, searchable memory for AI agents, so they remember across restarts.
- Foras A Rust port of the Otter 3.3 automated theorem prover.
- isu A dialogue manager based on Information State Update theory.
- harel Parse, validate and write W3C SCXML statecharts in Rust.
- pgf2json Read compiled Grammatical Framework grammars (PGF) and turn them into JSON.
- gf-core A Rust runtime for Grammatical Framework: parse and generate natural language from one grammar.
- graph_mvcc Multiversion concurrency control for a graph: transactions with snapshot isolation over nodes and edges.