Popular repositories Loading

1. tafagent tafagentPublic

   Transformer LLM diagnostic in your browser. Free, unlimited, auditable.

   JavaScript 1

2. synapse-protocol synapse-protocolPublic

   The Cognitive Envelope Protocol. Adding 'Theory of Mind' to AI Agent communication. (RFC-001 Reference Implementation)

   Python

3. tafagent-registry tafagent-registryPublic

   Public registry of TAF (Thermodynamic Attention Framework) analyses submitted by the community

4. lean-taf lean-tafPublic

   Lean 4 + Mathlib formalization of TAF algebraic identities + Cv Hagedorn erratum (Marin 2026)

   Lean

5. mathlib4 mathlib4Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. Sabra-blowup-selection Sabra-blowup-selectionPublic

   Code for the paper on self-similar blowup selection in the Sabra shell model

   Python