MQT IonShuttler - generate shuttling schedules for QCCD architectures

MQT QECC - Tools for Quantum Error Correcting Codes

Highlight Org-mode table columns and rows using colored overlays

An open-source design automation framework for Field-coupled Nanotechnologies

FPGA implementation of distributed union find algorithm

Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. Walter, S. S. H. Ng, K. Walus, and R. Wille in DAC 2022.

Design Automation Toolkit for the European Train Control System

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

MQT ZX - A library for working with ZX-diagrams

MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

MQT Core - The Backbone of the Munich Quantum Toolkit

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

MQT QMAP - A tool for Quantum Circuit Mapping written in C++

MQT Bench - An MQT Tool for Benchmarking Quantum Software Tools

MQT decision diagram package tailored to quantum computing