cda-tum / mqt-limdd

Related projects ⓘ

Alternatives and complementary repositories for mqt-limdd

• cda-tum / mnt-siqad-plugins
  Physical Simulation of Atomic Silicon Quantum Dot Assemblies.
  ☆15Updated this week
• cda-tum / mqt-planqk
  Service provider for the MQT on the PlanQK platform
  ☆15Updated this week
• cda-tum / mqt-misim
  MQT library to handle quantum circuits with mixed dimensions
  ☆16Updated 2 weeks ago
• cda-tum / LogicBlocks
  A Interface Library for SAT/SMT Abstractions written in C++
  ☆11Updated last month
• cda-tum / mmft-fuel-cell
  The source code for simulating microfluidic fuel cell (MFFC) performance.
  ☆11Updated 2 years ago
• cda-tum / da_etcs
  Design Automation Toolkit for the European Train Control System
  ☆12Updated 2 years ago
• cda-tum / mtct
  Design Automation for Railway Systems
  ☆20Updated last week
• cda-tum / mnt-bestagon-library
  Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…
  ☆17Updated last year
• cda-tum / mqt-qudit-compilation
  ☆17Updated 6 months ago
• cda-tum / mqt-qudit-compression
  A tool for mapping qubits on a qudit architecture of preferred size
  ☆18Updated this week
• cda-tum / zx
  MQT ZX - A library for working with ZX-diagrams
  ☆17Updated last year
• cda-tum / mqt-workflows
  A collection of reusable GitHub workflows used throughout the MQT
  ☆10Updated this week
• cda-tum / setup-z3
  Set up a specific version of the Z3 theorem prover
  ☆12Updated this week
• cda-tum / mmft-droplet-simulator
  ☆15Updated last year
• cda-tum / mqt-ddvis
  MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…
  ☆23Updated 3 weeks ago
• cda-tum / mqt-debugger
  A semi-automated tool for debugging quantum programs
  ☆12Updated this week
• cda-tum / mqt-qusat
  MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
  ☆19Updated 3 weeks ago
• cda-tum / mmft-ooc-designer
  Design automation solution for organs-on-chip.
  ☆17Updated last month
• cda-tum / mqt
  The Munich Quantum Toolkit
  ☆18Updated this week
• cda-tum / mqt-ion-shuttler
  MQT IonShuttler - generate shuttling schedules for QCCD architectures
  ☆16Updated last week
• cda-tum / mqt-dasqa
  MQT DASQA - Designer for Superconducting Quantum Architectures
  ☆17Updated 6 months ago
• cda-tum / dd_package
  MQT decision diagram package tailored to quantum computing
  ☆29Updated last year
• cda-tum / mqt-qudits
  A Framework For Mixed-Dimensional Qudit Quantum Computing
  ☆21Updated this week
• cda-tum / mqt-syrec
  SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
  ☆26Updated 3 weeks ago
• cda-tum / mqt-problemsolver
  MQT ProblemSolver - A MQT Tool for Solving Problems Using Quantum Computing
  ☆42Updated this week
• cda-tum / mqt-bench
  MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
  ☆82Updated this week
• cda-tum / mqt-qao
  MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers
  ☆21Updated this week
• cda-tum / mqt-core
  MQT Core - The Backbone of the Munich Quantum Toolkit
  ☆62Updated this week
• Munich-Quantum-Software-Stack / QDMI
  Quantum Device Management Interface (QDMI)
  ☆23Updated this week
• cda-tum / mqt-predictor
  MQT Predictor - A MQT Tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
  ☆65Updated this week