Tools
Research software
VSAX
A GPU-accelerated, JAX-native Python library for Vector Symbolic Architectures — composable, inspectable symbolic representations built from hypervectors. The legibility thread of my research, as code. pip install vsax
ArgLib
A Python library for warrant-gated argument graphs: typed claims, evidence, and credibility propagation. Contestable reasoning as a data structure — arguments you can audit, challenge, and defend.
Docs →delhi
An epistemic model checker in Rust: a language for describing what agents know and believe, how those attitudes shift as things happen, and how an agent ends up confidently wrong about what another agent believes. Reasoning about belief you can state as a formula and check, rather than take on faith. cargo install delhi
Crucible
A Claude Code plugin for review-driven AI/ML research: your work passes staged gates before a panel of nine adversarial reviewer personas. Treat reviewers like tests — the adversarial-evaluation stance, turned on my own research process.
GitHub →Creative tools
Play
Bridges
A creative word game in which you have to engage your associative brain to connect seemingly dissimilar words.
Play Bridges →Go for Green
A puzzle game in which you have to escape a room by solving puzzles in an abstract gridworld.
Play Go for Green →Trach Trainer
A web application for training mental math using the Trachtenberg Speed System.
Visit Trach Trainer →