cda-tum / mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
☆95Updated this week
Related projects ⓘ
Alternatives and complementary repositories for mqt-qcec
- MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++☆142Updated this week
- MQT QMAP - A tool for Quantum Circuit Mapping written in C++☆99Updated this week
- MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools☆82Updated this week
- MQT Core - The Backbone of the Munich Quantum Toolkit☆62Updated this week
- A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.☆89Updated last year
- MQT QECC - Tools for Quantum Error Correcting Codes☆117Updated this week
- C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits☆98Updated last year
- MQT Predictor - A MQT Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing☆65Updated this week
- Qiskit quantum error correction framework☆85Updated 2 months ago
- Library for Q# implementing various qRAM proposals☆52Updated 2 years ago
- Python package for simulation and visualization of quantum error-correction on surface codes. The package provides the ability to inspect…☆60Updated last year
- MQT decision diagram package tailored to quantum computing☆29Updated last year
- Automatic mapping of compiled circuits to low-noise sub-graphs☆56Updated 3 months ago
- Design automation software tools for Topological Quantum Error Correction☆77Updated this week
- Lattice surgery quantum error correction compiler☆46Updated 3 weeks ago
- MQT DASQA - Designer for Superconducting Quantum Architectures☆17Updated 6 months ago
- The Munich Quantum Toolkit☆18Updated this week
- Berkeley Quantum Synthesis Toolkit☆127Updated last week
- An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3☆49Updated 2 weeks ago
- MQT ZX - A library for working with ZX-diagrams☆17Updated last year
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆19Updated 2 weeks ago
- qecsim is a Python 3 package for simulating quantum error correction using stabilizer codes.☆74Updated 3 years ago
- MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…☆23Updated 2 weeks ago
- MQT ProblemSolver - A MQT Tool for Solving Problems Using Quantum Computing☆42Updated this week
- Benchmark quantum circuits before and after optimization.☆23Updated 6 years ago
- QED-C: The Quantum Economic Development Consortium provides these computer programs and software for use in the fields of quantum science…☆143Updated this week
- Qiskit Topological Codes☆91Updated 2 years ago
- Simulation and visualization of quantum error correcting codes☆58Updated this week
- A Framework For Mixed-Dimensional Qudit Quantum Computing☆21Updated this week
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆97Updated last year