Projects

My projects are listed on the homepage.

Quick links to the ones I’m most proud of:

• Cadence - LLM-based evolutionary programming for NP-hard problems
• Arrakis - mechanistic interpretability toolkit (30+ stars, 250+ monthly PyPI downloads)
• NEAT-JAX - NEAT algorithm in JAX, EvoJAX-compatible (18+ stars)
• Verizon - Git-like version control from scratch in Python (23+ stars)
• grove - terminal knowledge garden in Go (Obsidian for the CLI)
• pairy - Neovim AI pair programmer using Gemini
• REALBT - realistic backtesting engine in pure Python
• safe_sql - sanity checks for DB pitfalls (300+ monthly PyPI downloads)