Timeroot / Lean-QuantumInfoLinks
Quantum information theory in Lean 4
☆100Updated 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:
- A Small Quantum Intermediate Representation☆91Updated 5 months ago
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- Coq library for reasoning about quantum programs☆40Updated 3 months ago
- ☆28Updated last year
- Quantum circuit analysis toolkit☆89Updated last month
- A quick ZX calculus library written in Rust☆77Updated 2 months ago
- A graphical tool for the ZX calculus☆79Updated last week
- The TKET quantum compiler☆48Updated this week
- A project to digitalise results from physics into Lean.☆447Updated this week
- Pythonic quantum-classical programming language☆114Updated this week
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆121Updated 5 months ago
- Kernel Intermediate Representation Infrastructure☆49Updated last week
- Hierarchical Unified Graph Representation for quantum and classical programs☆55Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆202Updated 3 weeks ago
- ☆36Updated 10 months ago
- Content of the Error Correction Zoo, stored in structured YAML format☆68Updated last week
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆28Updated 5 years ago
- An implementation of ZX-calculus in Julia☆54Updated 3 weeks ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Updated 3 months ago
- A template for blueprint-driven formalization projects in Lean.☆84Updated this week
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆37Updated 5 months ago
- Verifying the ZX Calculus☆20Updated 2 months ago
- Python implementation of the monster group☆57Updated last week
- ☆37Updated last year
- Design scalable noise characterisation experiments for quantum computers☆28Updated last month
- A coding theory library for Julia.☆37Updated this week
- ☆24Updated last year