Chair for Design Automation, TU Munich (@cda-tum)
Guthub

cda-tum

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

mqt-ddsim

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

mqt-qmap

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

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking
C++
88
star
4

mqt-bench

MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
Python
71
star
5

mqt-qecc

MQT QECC - Tools for Quantum Error Correcting Codes
C++
59
star
6

fiction

An open-source design automation framework for Field-coupled Nanotechnologies
C++
55
star
7

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit
C++
53
star
8

mqt-predictor

MQT Predictor - A MQT tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
Python
42
star
9

dd_package

MQT decision diagram package tailored to quantum computing
C++
27
star
10

mqt-problemsolver

MQT ProblemSolver - A MQT tool for Solving Problems Using Quantum Computing
Python
21
star
11

mqt-ddvis

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.
JavaScript
19
star
12

zx

MQT ZX - A library for working with ZX-diagrams
C++
16
star
13

mnt-nanoplacer

NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.
Python
15
star
14

syrec

SyReC Synthesizer - An MQT Tool for the Synthesis of Reversible Circuits
C++
15
star
15

mmft-simulator

A simulator for closed channel-based microfluidic devices.
C++
15
star
16

mnt-bestagon-library

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.
C++
15
star
17

mqt-dasqa

MQT DASQA - Designer for Superconducting Quantum Architectures
Python
14
star
18

mqt-qudit-compilation

Python
13
star
19

mtct

Design Automation for Railway Systems
C++
12
star
20

mqt-qudit-entanglement-compilation

Python
12
star
21

mmft-droplet-simulator

C++
11
star
22

da_etcs

Design Automation Toolkit for the European Train Control System
C++
11
star
23

mqt-qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
C++
11
star
24

mnt-siqad-plugins

Physical Simulation of Atomic Silicon Quantum Dot Assemblies.
C++
11
star
25

mqt-misim

MQT library to handle quantum circuits with mixed dimensions
C++
9
star
26

LogicBlocks

A Interface Library for SAT/SMT Abstractions written in C++
C++
9
star
27

mmft-fuel-cell

The source code for simulating microfluidic fuel cell (MFFC) performance.
C++
9
star
28

mqt-qudit-compression

A tool for mapping qubits on a qudit architecture of preferred size
OpenQASM
9
star
29

setup-z3

Set up a specific version of the Z3 theorem prover
TypeScript
7
star
30

ion-shuttler

MQT IonShuttler generate shuttling schedules for QCCD architectures
Python
3
star
31

sidb-layouts-quicksim-validation

Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille.
C++
3
star
32

mqt-planqk

Service provider for the MQT on the PlanQK platform
Python
2
star
33

mnt-operational-domains

1
star