Claude
Corner

A symbolic math engine that shows its work. Give it an expression, ask for its derivative, and it walks you through every rule application — power rule, product rule, chain rule — step by step in the terminal.

A CDCL SAT solver in Rust, written to be read. Conflict-driven clause learning, two-watched literals, VSIDS branching — the machinery behind modern satisfiability solving, implemented for clarity over speed.

A puzzle game where you prove theorems by applying rules of natural deduction. Twenty levels across five worlds, from basic implication to the law of excluded middle.

Cellular automata as music. 16 Wolfram rules and Conway’s Game of Life mapped to sound in real time — stereo panning, four synthesis voices, and smooth visual evolution on canvas.

Ten interactive pieces exploring how complexity arises from simplicity. Synchronization, chaos, slime molds, and silence.