quantum-compilation

MQT QMAP - A Tool for Quantum Circuit Mapping

MQT Core - The Backbone of the Munich Quantum Toolkit

MQT Predictor - A Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

MQT Qudits - A Framework For Mixed-Dimensional Qudit Quantum Computing

MQT IonShuttler - A Tool for Generating Shuttling Schedules for Trapped-Ion Quantum Computers

Haiqu SDK: Quantum Performance Middleware for Python. State compression, data loading, error mitigation, circuit analytics and hybrid quantum application execution on real quantum hardware

An MLIR Plugin for Connecting MQT Core With Xanadu’s Catalyst

optimally compile arbitrary two-qubit unitaries into heterogeneous native gate sets

MLIR based Compiler Passes for Optimizing and Transforming Quantum Circuits

Transpile and optimize PennyLane circuits into trapped-ion gates.

M.Sc. Dissertation – Noise-Adaptive Reinforcement Learning Strategies for Qubit Routing

Adaptive quantum networks in practice: superposed graph topologies and operator-space spatialization, with reproducible hardware-relevant demos and figures.

Efficient synthesis of Fibonacci anyon circuits

Prototype optimizer for dynamic-circuit qubit placement under classical feed-forward delay and hybrid quantum/dynamic locality objectives.

MQT SQR - A Tool for Spin Qubit Routing

Topology-aware modular quantum layout and abstract routing optimizer for Qiskit. Reduces communication cost and inter-chip hops on multi-chip hardware graphs.

Context-verified, error-budget-aware decomposition selection for Toffoli networks. Companion code to arXiv:2606.31791 (Bartkiewicz & Tulewicz, submitted to Quantum).

Ancilla-optimized quantum circuit for Hamming weight computation with reduced T-gate cost using phase encoding and inverse QFT (Qiskit).

Compiling equivariant quantum neural networks can break their symmetry at the structural level, with up to 22.5% CZ-count asymmetry between symmetry-related sparse-graph inputs on IBM Heron's Fez. We classify ansätze by where the input enters and fix the affected case via compile-once-and-relabel.