Timeroot / Lean-QuantumInfoLinks
Quantum information theory in Lean 4
☆57Updated last week
Alternatives and similar repositories for Lean-QuantumInfo
Users that are interested in Lean-QuantumInfo are comparing it to the libraries listed below
Sorting:
- Formalized quantum computing in Lean theorem prover☆31Updated 4 years ago
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- Coq library for reasoning about quantum programs☆40Updated 2 weeks ago
- A graphical tool for the ZX calculus☆72Updated this week
- A quantum circuit language and formal verification tool☆105Updated 5 months ago
- Pythonic quantum-classical programming language☆93Updated this week
- Quantum circuit analysis toolkit☆88Updated last week
- ☆27Updated 9 months ago
- A quick ZX calculus library written in Rust☆73Updated 3 weeks ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- Kernel Intermediate Representation Infrastructure☆44Updated this week
- A project to digitalise results from physics into Lean.☆367Updated this week
- The TKET quantum compiler☆45Updated this week
- Quantum computing > Algorithmic lattice surgery.☆30Updated 3 weeks ago
- Design scalable noise characterisation experiments for quantum computers☆28Updated 2 months ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆30Updated 2 months ago
- ☆23Updated last year
- ☆37Updated last year
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆102Updated 2 months ago
- Hierarchical Unified Graph Representation for quantum and classical programs☆49Updated this week
- Bartiq☆42Updated this week
- A coding theory library for Julia.☆34Updated 2 weeks ago
- Python implementation of the monster group☆53Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆75Updated last month
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆10Updated last month
- Typesetting quantum circuits in a human-readable language☆66Updated 3 weeks ago
- Content of the Error Correction Zoo, stored in structured YAML format☆63Updated this week
- ☆34Updated 7 months ago
- Verifying the ZX Calculus☆20Updated this week