Popular repositories Loading

1. cat-rw cat-rw Public

   Lean 6 1

2. Hopf Hopf Public

   Lean 2 1

3. WXML_Sp2022 WXML_Sp2022 Public

   Lean 1 5

4. steanecode steanecode Public

   Implementation of the [[7,1,3]] Steane quantum error correcting code in Qiskit

   Jupyter Notebook 1

5. TriangulatedCats TriangulatedCats Public

   Lean 1

6. XLL XLL Public

   Forked from raymondpg/XLL

   Codebase for the Experimental Lean Lab

   Lean