Popular repositories Loading

1. respell respell Public

   JavaScript

2. skyofstars skyofstars Public

3. QuantumLib_Permutations QuantumLib_Permutations Public

   Forked from inQWIRE/QuantumLib

   Coq library for reasoning about quantum programs

   Coq

4. SQIR_Qlib_1_5 SQIR_Qlib_1_5 Public

   Forked from inQWIRE/SQIR

   A Small Quantum Intermediate Representation

   Rocq Prover

5. opam opam Public

   Forked from rocq-prover/opam

   Archive for all Rocq and Coq-related opam packages organized in various repositories

   OCaml

6. HyperOCM HyperOCM Public

   OCM for string diagrams using tensor expressions and hypergraphs

   Rocq Prover