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)