Developer Tools & Utilities

Auto Claude

A shell harness that lets Claude Code optimize code autonomously. Point it at a file, give it a benchmark, and it loops -editing, measuring, committing or rolling back -until it beats the baseline. Built 53% faster JSON serialization and 3.7x faster glob matching this way.

Elastic Hash Zig

SIMD-accelerated elastic hashing implementation in Zig. 4-8x faster inserts than std.HashMap at 99% load factor.

petri-ts

A TypeScript Petri net engine on npm. Define places and transitions, fire them, analyse reachable/terminal states, check invariants, and export Graphviz DOT.

Petri Net

A Petri net engine and three worked examples that teach concurrency concepts, with a reachability analyser that proves invariants.

Go AI Agent Foundation

A CLI agent framework in Go with tool use, file operations, and ripgrep search. Uses the Anthropic API.

Projects

Side projects where I dig into whatever's caught my interest - AI agents, systems programming, tools that solve problems I've actually had.

PetriFlow documentation site

PetriFlow

A Petri net-based safety layer for AI agents. Uses formal verification to enforce tool access control, sequencing, rate limits, and human approval gates before an agent runs.

AIgument application interface showing two AIs debating

AIgument

Watch AI models debate! AIgument pits LLMs (GPT-4o, Claude, Gemini) against each other with unique personalities. Built with Next.js and Neon DB.

Music Round game interface

Music Round

A real-time multiplayer song guessing game where players compete to identify songs from Spotify previews. Features daily challenges, battle royale mode, and hint systems.