Pinned Loading
-
-
database_theory
database_theory PublicAdvancing database theory through interdisciplinary research. Explore mathematical frameworks like Topos Theory, functional programming, and the Langlands program applied to modern database challen…
TeX 1
-
chain-of-intent
chain-of-intent PublicChain of Intent (CoI): Novel AI alignment framework treating intent as mathematically transformable objects. Implements semantic preservation theorems, safety verification, and clarification proto…
Python
-
type-safe-physics
type-safe-physics PublicType-Safe Physics: A framework for expressing physics with mathematical rigor using type theory, category theory, and formal verification. Includes paper, Haskell implementations, and educational r…
TeX
If the problem persists, check the GitHub status page or contact support.




