coq-quantum / CoqQLinks
☆28Updated 11 months ago
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☆88Updated 4 months ago
- Quantum information theory in Lean 4☆79Updated last week
- A quantum circuit language and formal verification tool☆105Updated 6 months ago
- Quantum circuit analysis toolkit☆88Updated this week
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- Verifying the ZX Calculus☆20Updated last month
- Coq library for reasoning about quantum programs☆40Updated last month
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆10Updated 2 months ago
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆10Updated 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"☆20Updated last year
- Python package for simulating & decoding color code circuits.☆23Updated 3 months ago
- A graphical tool for the ZX calculus☆74Updated 2 weeks ago
- Pythonic quantum-classical programming language☆109Updated this week
- The TKET quantum compiler☆46Updated this week
- A quantum circuit optimizer based on sum-over-paths representations☆26Updated 6 years ago
- Quantum computing > Algorithmic lattice surgery.☆36Updated 3 weeks ago
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆33Updated 3 months ago
- ☆35Updated 8 months ago
- Graph-theoretical optimization of fusion-based graph state generation☆10Updated 5 months ago
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆110Updated 3 months ago
- Decoding Quantum Error Correction codes with Generative Pre-trained Transformers☆37Updated last year
- Kernel Intermediate Representation Infrastructure☆46Updated this week
- A coding theory library for Julia.☆35Updated last month
- ☆21Updated 2 years ago
- An implementation of Google's Pauli+ simulator☆18Updated 3 months ago
- ☆14Updated last year
- A quick ZX calculus library written in Rust☆74Updated 3 weeks ago
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆63Updated last year