Popular repositories Loading

1. every-limit-a-corridor every-limit-a-corridor Public

   Every Limit a Corridor — IAOM research bundle (cohesive HoTT effective corridor, bare-metal verified)

   HTML 1

2. demos demos Public

   Forked from PennyLaneAI/demos

   Introductions to key concepts in quantum programming, as well as tutorials and implementations from cutting-edge quantum computing research.

   Python

3. certified-magic-ledger certified-magic-ledger Public

   Certified magic-state distillation constants: the 15-to-1 factory's exact yields as kernel theorems (via a certified MacWilliams identity), with an independent brute-force verifier and a PennyLane …

   Python

4. certified-quantum-enumerator certified-quantum-enumerator Public

   Certified quantum weight enumerators, code distance, and error-rate prefactors for real codes, via a kernel-proved quantum MacWilliams identity. Independent brute-force verifier included. Companion…

   Python

5. VCV-io VCV-io Public

   Forked from Verified-zkEVM/VCVio

   Formalized Cryptography Proofs in Lean 4

   Lean

6. CompPoly CompPoly Public

   Forked from Verified-zkEVM/CompPoly

   Computable Polynomials in Lean.

   Lean