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++ 145 31

  2. mqt-qcec mqt-qcec Public

    MQT QCEC - A tool for Quantum Circuit Equivalence Checking

    C++ 96 21

  3. mqt-qmap mqt-qmap Public

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

    C++ 106 26

  4. fiction fiction Public

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

    C++ 67 25

Repositories

Showing 10 of 58 repositories
  • mqt-syrec Public

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

    cda-tum/mqt-syrec’s past year of commit activity
    C++ 27 MIT 9 4 1 Updated Feb 4, 2025
  • mqt-core Public

    MQT Core - The Backbone of the Munich Quantum Toolkit

    cda-tum/mqt-core’s past year of commit activity
    C++ 67 MIT 33 24 (3 issues need help) 2 Updated Feb 4, 2025
  • mqt-yaqs Public

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

    cda-tum/mqt-yaqs’s past year of commit activity
    Python 9 1 0 0 Updated Feb 4, 2025
  • mqt-debugger Public

    A semi-automated tool for debugging quantum programs

    cda-tum/mqt-debugger’s past year of commit activity
    C++ 15 MIT 2 5 1 Updated Feb 4, 2025
  • mqt-qecc Public

    MQT QECC - Tools for Quantum Error Correcting Codes

    cda-tum/mqt-qecc’s past year of commit activity
    Python 125 MIT 16 6 6 Updated Feb 4, 2025
  • fiction Public

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

    cda-tum/fiction’s past year of commit activity
    C++ 67 MIT 25 2 10 Updated Feb 4, 2025
  • mqt-qsim-joint-cutting Public Forked from quantumlib/qsim

    Joint Cutting of arbitrary (blocks of) gates in qsimh

    cda-tum/mqt-qsim-joint-cutting’s past year of commit activity
    Jupyter Notebook 1 Apache-2.0 171 0 1 Updated Feb 4, 2025
  • mqt-planqk Public

    Service provider for the MQT on the PlanQK platform

    cda-tum/mqt-planqk’s past year of commit activity
    Python 15 1 0 0 Updated Feb 3, 2025
  • setup-z3 Public

    Set up a specific version of the Z3 theorem prover

    cda-tum/setup-z3’s past year of commit activity
    TypeScript 13 MIT 3 0 0 Updated Feb 3, 2025
  • 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 2 0 0 Updated Feb 3, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…