Stars
A tool that creates designs for microfluidic routing blocks.
A tool that allows users to automatically create designs for tree-shaped concentration gradient generators for mixing two fluids with different concentration values.
The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.
Design Automation Toolkit for the European Train Control System
The source code for simulating microfluidic fuel cell (MFFC) performance.
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.
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.
Design, layout, and simulation files of the paper "Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)-2×1 Surface" by M. Walter, J. Croshaw, S. S. H. Ng, K. Walus, …
A simulation tool for abstract microfluidic (1D) simulations for continuous flow, instantaneous mixing, membranes, and droplet routing.
cda-tum / abc
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
SiDB Simulation and Gate Design
MNT Bench - An MNT tool for Benchmarking FCN circuits
A Interface Library for SAT/SMT Abstractions written in C++
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.
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
MQT Core - The Backbone of the Munich Quantum Toolkit
MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools
MQT ProblemSolver - A MQT Tool for Solving Problems Using Quantum Computing
Service provider for the MQT on the PlanQK platform
A tool for mapping qubits on a qudit architecture of preferred size
MQT library to handle quantum circuits with mixed dimensions
MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.
Set up a specific version of the Z3 theorem prover