Pinned Loading

1. gateway gateway Public

   AI art marketplace with verifiable provenance — invisible watermarking + NFT minting + copyright licensing in one transaction

   JavaScript 2

2. symmetric-graphs symmetric-graphs Public

   Quotient-driven layouts for symmetric graphs using automorphism group orbits

   HTML 1

3. 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

4. dmt dmt Public

   Animated recursive geometry — Zentangle Paradox spirals and DMT tunnel vortices from pure straight lines

   HTML 1 1

5. lean-hopf-algebras lean-hopf-algebras Public

   Hopf algebras and the umbral calculus in Lean 4 / Mathlib

   TeX

6. 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