irfansha / Q-SynthLinks
Tools for quantum circuits synthesis, optimization and others.
☆21Updated 2 months ago
Alternatives and similar repositories for Q-Synth
Users that are interested in Q-Synth are comparing it to the libraries listed below
Sorting:
- Quantum circuit analysis toolkit☆89Updated this week
- ☆24Updated last year
- A quick ZX calculus library written in Rust☆77Updated 3 months ago
- A Small Quantum Intermediate Representation☆90Updated 6 months ago
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆156Updated this week
- ☆28Updated 9 months ago
- A quantum circuit optimizer based on sum-over-paths representations☆26Updated 6 years ago
- The Quartz Quantum Compiler☆88Updated last month
- Quantum information theory in Lean 4☆100Updated 3 weeks ago
- Simple and fast quantum error correction architecture simulator for the rotated surface code☆13Updated 4 years ago
- A compiler for quantum computers based on A* and numerical optimization.☆29Updated 3 years ago
- A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.☆14Updated last year
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆104Updated 2 years ago
- ☆36Updated 10 months ago
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆27Updated last week
- Typesetting quantum circuits in a human-readable language☆68Updated 3 weeks ago
- A graphical tool for the ZX calculus☆79Updated 3 weeks ago
- Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation☆123Updated 2 weeks ago
- ☆17Updated 2 years ago
- A fast minimum-weight perfect matching solver for quantum error correction☆76Updated 6 months ago
- Pythonic quantum-classical programming language☆118Updated this week
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆18Updated 10 months ago
- Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.☆12Updated last year
- I. Chuang's qasm2circ library, modified to include a run-all script that works on Windows and to have the main qasm2tex.py script work as…☆16Updated 8 years ago
- Python package for simulating & decoding color code circuits.☆26Updated 5 months ago
- C++ implementation of Union-Find decoder and its Python binding.☆29Updated 2 years ago
- OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing☆25Updated 3 years ago
- MQT QCEC - A tool for Quantum Circuit Equivalence Checking☆106Updated last week
- The Atlas multi-GPU quantum circuit simulator.☆15Updated last year
- The TKET quantum compiler☆48Updated this week