Skip to content
@cda-tum

Chair for Design Automation, TU Munich

The CDA provides expertise for all main steps in the design and realization of integrated circuits, embedded systems, as well as cyber-physical systems.

Pinned Loading

  1. mqt-ddsim mqt-ddsim Public

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

    C++ 142 30

  2. mqt-qcec mqt-qcec Public

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    C++ 95 21

  3. mqt-qmap mqt-qmap Public

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

    C++ 99 24

  4. fiction fiction Public

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

    C++ 64 23

Repositories

Showing 10 of 53 repositories
  • mqt-workflows Public

    A collection of reusable GitHub workflows used throughout the MQT

    cda-tum/mqt-workflows’s past year of commit activity
    10 MIT 1 0 0 Updated Nov 18, 2024
  • mqt-predictor Public

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

    cda-tum/mqt-predictor’s past year of commit activity
    Python 64 MIT 14 14 (4 issues need help) 3 Updated Nov 18, 2024
  • fiction Public

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

    cda-tum/fiction’s past year of commit activity
    C++ 64 MIT 23 0 8 Updated Nov 18, 2024
  • mqt-qmap Public

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

    cda-tum/mqt-qmap’s past year of commit activity
    C++ 99 MIT 24 17 (1 issue needs help) 8 Updated Nov 18, 2024
  • setup-z3 Public

    Set up a specific version of the Z3 theorem prover

    cda-tum/setup-z3’s past year of commit activity
    TypeScript 12 MIT 3 0 1 Updated Nov 18, 2024
  • mqt-qcec Public

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    cda-tum/mqt-qcec’s past year of commit activity
    C++ 95 MIT 21 8 (2 issues need help) 2 Updated Nov 18, 2024
  • mqt-qubomaker Public

    A framework for the automatic generation of QUBO formulations for optimization problems.

    cda-tum/mqt-qubomaker’s past year of commit activity
    Python 20 MIT 2 2 0 Updated Nov 18, 2024
  • mnt-siqad-plugins Public

    Physical Simulation of Atomic Silicon Quantum Dot Assemblies.

    cda-tum/mnt-siqad-plugins’s past year of commit activity
    C++ 15 MIT 0 0 3 Updated Nov 18, 2024
  • mqt-qudits Public

    A Framework For Mixed-Dimensional Qudit Quantum Computing

    cda-tum/mqt-qudits’s past year of commit activity
    Python 21 MIT 5 1 2 Updated Nov 18, 2024
  • mqt-qecc Public

    MQT QECC - Tools for Quantum Error Correcting Codes

    cda-tum/mqt-qecc’s past year of commit activity
    Python 117 MIT 15 6 8 Updated Nov 18, 2024
View all repositories

Most used topics

Loading…