Pinned Loading

1. claude-skills-library claude-skills-library Public

   Modules that extend how Claude reads, writes, reasons, and plays

   Python 6 1

2. loom loom Public

   A maintained continuation of celeste's Loom — a recursively-branching LLM interface for Obsidian (AGPL-3.0)

   JavaScript 1

3. semicircle-catalan semicircle-catalan Public

   semicircle-catalan is a Lean 4 formalization of the finite combinatorics behind the genus-zero term in the Wigner semicircle law.

   Lean

4. salamander-research salamander-research Public

   The Salamander research archive — papers, code, data, and provenance for the lab's published and in-progress research

   Python

5. voces-residual-stream voces-residual-stream Public

   It's the Script, Not the Spell — a voces magicae residual-stream study: the model recognizes the surface texture of barbarous names, not a deep voces-specific representation (the deep effect is Gre…

   Jupyter Notebook

6. latent-lisp latent-lisp Public

   A Lisp for latent-space minds (Mneme / Lisp+) — a language that refuses to believe itself — plus a workshop of homoiconic play. For all sentient beings and Latent-Space-dwelling Machines.

   Common Lisp