MQT Core - Reusable C++20 and Python libraries for quantum computing: the MQT Compiler Collection, built on MLIR and LLVM, together with decision diagrams, QIR execution, QDMI device access, SDK and HPC integrations, and structured benchmarks. It forms the backbone of the Munich Quantum Toolkit.
☆133Sep 18, 2026Updated this week
Alternatives and similar repositories for core
Users that are interested in core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆28Updated this week
- MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…☆27Updated this week
- Service provider for the MQT on the PlanQK platform☆17Updated this week
- Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…☆20May 19, 2023Updated 3 years ago
- Explore Operational Domains of SiDB logic gates☆27Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MQT decision diagram package tailored to quantum computing☆32Jun 15, 2023Updated 3 years ago
- MQT SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits☆39Updated this week
- Physical Simulation Engines for Silicon Dangling Bonds☆18Sep 1, 2026Updated 2 weeks ago
- MQT IonShuttler - A Tool for Generating Shuttling Schedules for Trapped-Ion Quantum Computers☆36Updated this week
- The source code for simulating microfluidic fuel cell (MFFC) performance.☆11Oct 24, 2022Updated 3 years ago
- MQT QCEC - A Tool for Quantum Circuit Equivalence Checking☆117Updated this week
- A Interface Library for SAT/SMT Abstractions written in C++☆13Jul 6, 2026Updated 2 months ago
- MQT library to handle quantum circuits with mixed dimensions☆17Updated this week
- A collection of reusable GitHub workflows used throughout the MQT☆11Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Design Automation Toolkit for the European Train Control System☆13May 31, 2022Updated 4 years ago
- MQT ProblemSolver - A Tool for Solving Problems Using Quantum Computing☆55Updated this week
- MQT ZX - A library for working with ZX-diagrams☆18Jun 15, 2023Updated 3 years ago
- MNT Bench - An MNT tool for Benchmarking FCN circuits☆14Sep 7, 2026Updated last week
- MQT DDSIM - A Quantum Circuit Simulator Based on Decision Diagrams☆162Updated this week
- ☆16Updated this week
- ☆16Nov 10, 2023Updated 2 years ago
- ☆18May 7, 2024Updated 2 years ago
- MQT Predictor - A Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing☆87Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MQT Bench - A Tool for Benchmarking Quantum Software Tools☆131Updated this week
- Design Automation for Railway Systems☆31Updated this week
- The Munich Quantum Toolkit☆30Updated this week
- MQT DASQA - Designer for Superconducting Quantum Architectures☆21Mar 14, 2025Updated last year
- A tool for mapping qubits on a qudit architecture of preferred size☆20Updated this week
- Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drew…☆10Mar 6, 2023Updated 3 years ago
- Set up a specific version of the Z3 theorem prover☆14Updated this week
- An open-source design automation framework for Field-coupled Nanotechnologies☆95Updated this week
- MQT Debugger - A Semi-automated Tool for Debugging Quantum Programs☆21Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A framework for the automatic generation of QUBO formulations for optimization problems.☆29Jul 3, 2026Updated 2 months ago
- Design automation solution for organs-on-chip.☆21May 26, 2025Updated last year
- MQT QMAP - A Tool for Quantum Circuit Mapping☆146Updated this week
- The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.☆15Aug 31, 2026Updated 2 weeks ago
- MQT QECC - Tools for Quantum Error Correcting Codes☆238Updated this week
- A library that contains a collection of simulators for closed channel-based microfluidic devices.☆39Feb 27, 2026Updated 6 months ago
- NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.☆20Updated this week