munich-quantum-toolkit / qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
☆95Updated this week
Alternatives and similar repositories for qcec:
Users that are interested in qcec are comparing it to the libraries listed below
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆146Updated this week
- MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools☆87Updated last week
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆107Updated this week
- MQT Core - The Backbone of the Munich Quantum Toolkit☆73Updated this week
- MQT Predictor - A MQT Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing☆66Updated last week
- The Munich Quantum Toolkit☆22Updated this week
- MQT QECC - Tools for Quantum Error Correcting Codes☆136Updated this week
- Berkeley Quantum Synthesis Toolkit☆140Updated 2 months ago
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆53Updated 5 months ago
- A Framework For Mixed-Dimensional Qudit Quantum Computing☆23Updated last week
- MQT ProblemSolver - A MQT Tool for Solving Problems Using Quantum Computing☆44Updated last week
- Qiskit quantum error correction framework☆97Updated 3 months ago
- MQT decision diagram package tailored to quantum computing☆30Updated last year
- OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing☆25Updated 2 years ago
- Lattice surgery quantum error correction compiler☆55Updated last month
- Library for Q# implementing various qRAM proposals☆56Updated 3 years ago
- A Quantum Interconnect Simulator for Distributed Quantum Algorithms☆45Updated 3 years ago
- MQT DASQA - Designer for Superconducting Quantum Architectures☆17Updated last month
- Qiskit Topological Codes☆97Updated 2 years ago
- QIR specification defining how to represent quantum programs within the LLVM IR☆70Updated 2 months ago
- FPGA implementation of distributed union find algorithm☆11Updated last year
- Automatic mapping of compiled circuits to low-noise sub-graphs☆59Updated 8 months ago
- Quantum circuit analysis toolkit☆74Updated last week
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆23Updated this week
- measurement-based quantum computing (MBQC) compiler and simulator☆76Updated last week
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆103Updated last year
- MQT ZX - A library for working with ZX-diagrams☆17Updated last year
- Research using Qiskit.☆70Updated 6 months ago
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆112Updated 3 months ago
- A python library to play with stabilizer codes☆21Updated 10 months ago