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.
High-performance C++ library for quantum circuit synthesis.
CompilersOptimization+2 more
Perform high-speed analysis, synthesis, compilation, and optimization of quantum circuits using a scalable C++17 library designed for performance and flexibility.
Software platform for the development and execution of gate-level quantum computation
Quantum CircuitsTranspilers
Software platform for the development and execution of gate-level quantum computation, providing state-of-the-art performance in circuit compilation. The toolset is designed to aid platform-agnostic software and extract the most out of the available NISQ devices of today.
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.
Simulate quantum circuits fast, anywhere, no setup.
Quantum CircuitsSimulators
Simulate quantum circuits, state-vectors, and density matrices with high performance. Utilizes multithreading, GPUs, and distribution. Stand-alone, requires no installation.
Quantum Country
ZX-calculus
Unitary Foundation
IQM Pulla
Qrisp
Blueqat
