Popular repositories Loading

1. TNLean TNLean Public

   Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matrix-product density operators, and projected entangled pair s…

   Lean 34 3

2. TeXRA TeXRA Public

   TeXRA — an AI theorist (math, physics, computer science). VS Code extension and terminal CLI.

   TypeScript 26 1

3. AgenticPublicationProtocol AgenticPublicationProtocol Public

   Paper Publication Protocol — publish papers as AI agents

   Python 15

4. mcp-apple mcp-apple Public

   TypeScript 5 5

5. MIPStarRE MIPStarRE Public

   Lean 4 1

6. agent-ci-actions agent-ci-actions Public

   4