Lean formalization of the theory of quantum information and quantum computation
☆36Aug 28, 2026Updated 2 months ago
Alternatives and similar repositories for lean-quantum
Users that are interested in lean-quantum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactively draw pipe diagrams for lattice surgery.☆25Updated this week
- Quantum information theory in Lean 4☆146Sep 10, 2026Updated last month
- ☆17Aug 29, 2026Updated last month
- Python Tools for Quantum Error Correction☆28Apr 27, 2026Updated 6 months ago
- Discovering bivariate bicycle (BB) and perturbed bivariate bicycle (PBB) quantum LDPC codes via LLM-guided evolutionary search.☆27Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Jul 18, 2024Updated 2 years ago
- Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matr…☆43Updated this week
- For IBM Quantum Developer Conference 2024 (Nov 13-15): http://ibm.biz/IBM_QDC_2024☆23Nov 15, 2024Updated last year
- Documentation of Applications for Quantum Computers☆25Jul 28, 2025Updated last year
- ☆19Jun 6, 2026Updated 4 months ago
- Fast universal quantum circuit sampler for QEC based on ZX stabilizer rank decomposition☆129Updated this week
- ☆50Oct 2, 2026Updated 3 weeks ago
- Conic solver for optimization problems in quantum information theory☆25Apr 20, 2025Updated last year
- Simple python implementation of Scott Aaronson et al's CHP simulator.☆19Jul 3, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆31Jan 13, 2025Updated last year
- Quantum computing > Algorithmic lattice surgery.☆63Sep 5, 2026Updated last month
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆69Updated this week
- Julia codes for randomized measurements☆28Jul 7, 2026Updated 3 months ago
- A fast minimum-weight perfect matching solver for quantum error correction☆88Jul 12, 2026Updated 3 months ago
- ☆14Updated this week
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆19Oct 4, 2026Updated 3 weeks ago
- A Stim extension to non-computational errors such as leakage.☆23Oct 7, 2026Updated 3 weeks ago
- Automatic computation of detectors in a topologically quantum error corrected computation☆20Oct 13, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repository contains the source code used to produce the results presented in the paper "Simulating realistic non-Gaussian state prep…☆16Dec 17, 2019Updated 6 years ago
- Content of the Error Correction Zoo, stored in structured YAML format☆83Updated this week
- Decoding Quantum Error Correction codes with Generative Pre-trained Transformers☆44Apr 12, 2024Updated 2 years ago
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆35Updated this week
- An implementation of Google's Pauli+ simulator☆26Aug 18, 2026Updated 2 months ago
- Directed graph with first-level ports in Rust.☆18Oct 20, 2026Updated last week
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆49Oct 2, 2026Updated 3 weeks ago
- A coding theory library for Julia.☆42Sep 14, 2026Updated last month
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆62Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆67Oct 21, 2026Updated last week
- ☆14Jun 15, 2026Updated 4 months ago
- Distance of quantum and classical codes, and quantum circuits☆25May 28, 2026Updated 5 months ago
- Code to accompany the book Semidefinite Programming in Quantum Information Science☆10Jun 20, 2023Updated 3 years ago
- This is the Python-based repository for Variational LOCC-assisted quantum circuits for long-range entangled states.☆11Nov 6, 2025Updated 11 months ago
- Hierarchical Unified Graph Representation for quantum and classical programs☆72Updated this week
- Quantum Resource Estimate Format☆52Sep 28, 2026Updated last month