A tool for quantum circuit equivalence checking developed as part of the Munich Quantum Toolkit (MQT). It builds upon MQT Core, which forms the backbone of the MQT.
Design, simulate, and optimize fault-tolerant quantum computer architectures. Model over 20 hardware imperfections to accelerate logical qubit experiments.
High-level Quantum ProgrammingHybrid computing+2 more
Quantum machine learning library for rapid prototyping of hybrid quantum-classical ML models. Research in quantum algorithms and applications can leverage Google’s quantum computing frameworks, all from within TensorFlow.
Simulate open quantum systems dynamics efficiently. Supports various Hamiltonians, time-dependence, and applications in quantum optics, superconducting circuits, and more.
Scalable functional language for quantum circuit design.
High-level Quantum ProgrammingQuantum Circuits
Design scalable quantum circuits using a functional language. Features high-level description, automatic reversible synthesis, hierarchical circuits, and programmable transformers.
Quantum circuit simulator based on decision diagrams written in C++
Quantum CircuitsSimulators
A tool for classical quantum circuit simulation developed as part of the Munich Quantum Toolkit (MQT). It builds upon MQT Core, which forms the backbone of the MQT.
A tool for quantum circuit compilation developed as part of the Munich Quantum Toolkit (MQT). It builds upon MQT Core, which forms the backbone of the MQT.
Quantum Country
ZX-calculus
Unitary Foundation
IQM Pulla
Qrisp
Blueqat
