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 Public

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

    C++ 145 33

  2. mqt-qcec Public

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    C++ 96 22

  3. mqt-qmap Public

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

    C++ 107 27

  4. fiction Public

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

    C++ 68 25

Repositories

Showing 10 of 59 repositories
  • fiction Public

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

    C++ 68 MIT 25 3 13 Updated Mar 24, 2025
  • setup-z3 Public

    Set up a specific version of the Z3 theorem prover

    TypeScript 13 MIT 3 0 0 Updated Mar 24, 2025
  • mqt-qcec Public

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    C++ 96 MIT 22 9 (2 issues need help) 4 Updated Mar 24, 2025
  • mnt-siqad-plugins Public

    Physical Simulation Engines for Silicon Dangling Bonds

    C++ 15 MIT 0 1 3 Updated Mar 24, 2025
  • mqt-ddsim Public

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

    C++ 145 MIT 33 7 (2 issues need help) 2 Updated Mar 24, 2025
  • mqt-yaqs Public

    YAQS: A Tool for Simulating Open Quantum Systems, Noisy Quantum Circuits, and Realistic Quantum Hardware

    Python 11 MIT 4 9 1 Updated Mar 24, 2025
  • mqt-qmap Public

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

    C++ 107 MIT 27 11 1 Updated Mar 24, 2025
  • mqt-core Public

    MQT Core - The Backbone of the Munich Quantum Toolkit

    C++ 69 MIT 34 21 (4 issues need help) 5 Updated Mar 24, 2025
  • mqt-bench Public

    MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools

    Python 85 MIT 19 23 7 Updated Mar 23, 2025
  • mqt-workflows Public

    A collection of reusable GitHub workflows used throughout the MQT

    10 MIT 2 0 0 Updated Mar 23, 2025
View all repositories