coq-quantum / CoqQLinks
☆28Updated last year
Alternatives and similar repositories for CoqQ
Users that are interested in CoqQ are comparing it to the libraries listed below
Sorting:
- A Small Quantum Intermediate Representation☆91Updated 5 months ago
- Quantum information theory in Lean 4☆99Updated this week
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- Quantum circuit analysis toolkit☆89Updated 3 weeks ago
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- Coq library for reasoning about quantum programs☆40Updated 3 months ago
- Verifying the ZX Calculus☆20Updated 2 months ago
- Pythonic quantum-classical programming language☆114Updated this week
- Python package for simulating & decoding color code circuits.☆24Updated 4 months ago
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆11Updated last year
- A curated list of awesome topological quantum error correction resources☆13Updated last year
- Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"☆22Updated last year
- ☆36Updated 10 months ago
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆35Updated 4 months ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Updated 3 months ago
- A graphical tool for the ZX calculus☆79Updated last week
- A quantum circuit optimizer based on sum-over-paths representations☆26Updated 6 years ago
- The TKET quantum compiler☆46Updated this week
- Kernel Intermediate Representation Infrastructure☆48Updated 3 weeks ago
- Decoding Quantum Error Correction codes with Generative Pre-trained Transformers☆39Updated last year
- A coding theory library for Julia.☆37Updated 3 months ago
- Design scalable noise characterisation experiments for quantum computers☆28Updated last month
- ☆37Updated last year
- Mathematica package for calculating polynomial integrals over the unitary group☆14Updated 5 years ago
- ☆16Updated 8 years ago
- Open-source implementation of a "Möbius decoder" for color codes used in quantum error correction (QEC)☆25Updated 3 weeks ago
- ☆21Updated 2 years ago
- ☆24Updated last year
- A tutorial on simulating quantum circuits and quantum error correction with tensor networks☆18Updated 3 months ago