njuwfang / QuantumSE.jlView external linksLinks
A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
☆14Aug 23, 2024Updated last year
Alternatives and similar repositories for QuantumSE.jl
Users that are interested in QuantumSE.jl are comparing it to the libraries listed below
Sorting:
- Python package for simulating & decoding color code circuits.☆26Aug 18, 2025Updated 5 months ago
- A C++ based quantum transpiler for NISQ devices☆30Dec 3, 2025Updated 2 months ago
- Automatic computation of detectors in a topologically quantum error corrected computation☆14Updated this week
- A curated list of awesome topological quantum error correction resources☆13Jun 7, 2024Updated last year
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆19Feb 9, 2026Updated last week
- Quantum computing > Algorithmic lattice surgery.☆49Updated this week
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆12Sep 4, 2024Updated last year
- ☆14Jul 18, 2024Updated last year
- The Quartz Quantum Compiler☆88Jan 30, 2026Updated 2 weeks ago
- Code for estimating the threshold of the honeycomb code☆15Aug 23, 2021Updated 4 years ago
- A compiler prototype targeting a bicycle architecture from PBC circuits☆25Updated this week
- Bartiq☆46Feb 3, 2026Updated 2 weeks ago
- A collection of distributed algorithms for the full-state simulation of digital quantum statevectors and density matrices☆17Aug 16, 2024Updated last year
- Kernel Intermediate Representation Infrastructure☆51Updated this week
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 5 years ago
- Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"☆23Sep 26, 2024Updated last year
- Quantum Resource Estimate Format☆44Jul 1, 2025Updated 7 months ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated last month
- ☆17Nov 10, 2021Updated 4 years ago
- Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes☆38Updated this week
- Open-source implementation of a Möbius decoder for color codes used in quantum error correction (QEC)☆26Dec 13, 2025Updated 2 months ago
- A quantum circuit optimizer based on sum-over-paths representations☆26Nov 8, 2019Updated 6 years ago
- Qiskit quantum error correction framework☆111Jan 27, 2025Updated last year
- autqec: A Python library with MAGMA software interface for computing fault-tolerant logical Clifford gates of stabilizer codes from code …☆28Apr 29, 2025Updated 9 months ago
- Quantum algorithms for the simulation of Hamiltonian dynamics.☆29Nov 23, 2022Updated 3 years ago
- Design scalable noise characterisation experiments for quantum computers☆29Nov 24, 2025Updated 2 months ago
- Tools to control cold-atom-based quantum simulators and quantum computers.☆35Mar 28, 2024Updated last year
- A quick ZX calculus library written in Rust☆78Nov 1, 2025Updated 3 months ago
- Pythonic quantum-classical programming language☆120Updated this week
- PyMatching: A Python/C++ library for decoding quantum error correcting codes with minimum-weight perfect matching.☆290Jan 22, 2026Updated 3 weeks ago
- Web app for Metriq☆34Sep 4, 2025Updated 5 months ago
- Lincoln Laboratory Quantum Algorithm Test and Research☆38Jan 5, 2026Updated last month
- ☆36Sep 12, 2025Updated 5 months ago
- QUITS: A modular Qldpc code circUIT Simulator☆46Updated this week
- Lattice surgery quantum error correction compiler☆81Jan 19, 2026Updated 3 weeks ago
- Reproduce the random circuit sampling experiments of Sycamore quantum circuit☆33Nov 5, 2021Updated 4 years ago
- Tools for the Simulation and Execution of Quantum Annealing Algorithms☆39Sep 23, 2025Updated 4 months ago
- The TKET quantum compiler☆48Updated this week