Pinned Loading

1. lean-hopf-algebras lean-hopf-algebras Public

   Hopf algebras and the umbral calculus in Lean 4 / Mathlib

   TeX

2. rsk-transformer rsk-transformer Public

   Neural network learns inverse Robinson-Schensted correspondence via structured 2D token embeddings. 100% exact match on n=10.

   Python 1

3. categorical-evolution categorical-evolution Public

   Forked from lyra-claude/categorical-evolution

   Category-theoretic genetic algorithms using MTL effects. Composes GA operators as Kleisli category morphisms. Inspired by cgibbard/category-printf and sjshuck/mtl.

   Python

4. dreaming-agent dreaming-agent Public

   An autonomous research agent that wakes, works, reads, and dreams — running Claude Code in a Docker container with persistent memory.

   Python

5. start-here start-here Public

   Categorized directory of all my GitHub projects — pinned overview

6. smoke-flow smoke-flow Public

   Real-time GPU smoke flow simulation: laminar-to-turbulent transition via Navier-Stokes

   JavaScript 1