Workbench

Interactive Visualizations

Entangled Graphs - Design quantum circuits and explore basic algorithms
Algorithm Visualizations - Data structures from Okasaki’s Purely Functional Data Structures, as well as other functional structures.
P-adic Number Visualization - A geometric representation of p-adic numbers based off of Sierpinski’s polygons, and how they change under various transformations.
Cohomology - Čech cohomology playground to show how nerve complexes and cocycles work.

Dialect Coach - Chat with AI agents to practice various languages by focusing on local dialects.
Sarf - Browser extension to show morphological information for Arabic words.
Skeptic - Clojure static type-checker plugin for plumatic/schema.
Danger Mouse - A Clojure library for clean handling of errors. Specialized for use in Transducer pipelines.
SCRPG Helper - Helper application for the Sentinal Comics TTRPG, featuring dice statistics, combat tracking, and character creation.
Servant and Opaleye Tutorial - Setting up a blog with the Haskell web framework Servant and the database library Opaleye.
Threals - Threals, a three-player variant on Surreal Numbers and Combinatorial Game Theory. I’ve been working on their theory, though the main holdup is that I cannot seem to find a zero game, so the theory cannot be made into a group.
Guitar Chord Trainer - Guitar chord finder, with working version here.
Hexation - Three-player game based on Domineering, with AIs as players. They’ve been trapped in a cage since birth, learning the game through playing each other - watch how these recluses think and picture the board.