Giters
Michel Takken (micheltakken)

micheltakken

Geek Repo

11

followers

8

following

25

stars

Location:Munich

Github PK Tool:Github PK Tool

Michel Takken's starred repositories

mmft-simulator

A library that contains a collection of simulators for closed channel-based microfluidic devices.

Language:C++License:GPL-3.0Stargazers:20Issues:0Issues:0

mmft-ooc-designer

Design automation solution for organs-on-chip.

Language:Jupyter NotebookLicense:MITStargazers:10Issues:0Issues:0

RoDeO

A package for robust design optimization

Language:C++License:GPL-3.0Stargazers:7Issues:0Issues:0

fiction

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

Language:C++License:MITStargazers:55Issues:0Issues:0

da_etcs

Design Automation Toolkit for the European Train Control System

Language:C++License:MITStargazers:11Issues:0Issues:0

mqt-qudit-compilation

Language:PythonLicense:MITStargazers:14Issues:0Issues:0

mnt-bestagon-library

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.

Language:C++License:MITStargazers:13Issues:0Issues:0

mmft-fuel-cell

The source code for simulating microfluidic fuel cell (MFFC) performance.

Language:C++Stargazers:10Issues:0Issues:0

mqt-qudit-entanglement-compilation

Language:PythonLicense:MITStargazers:12Issues:0Issues:0

mmft-droplet-simulator

Language:C++License:MITStargazers:14Issues:0Issues:0

LogicBlocks

A Interface Library for SAT/SMT Abstractions written in C++

Language:C++License:MITStargazers:9Issues:0Issues:0

setup-z3

Set up a specific version of the Z3 theorem prover

Language:TypeScriptLicense:MITStargazers:10Issues:0Issues:0

mqt-ddvis

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.

Language:JavaScriptLicense:MITStargazers:19Issues:0Issues:0

mqt-problemsolver

MQT ProblemSolver - A MQT tool for Solving Problems Using Quantum Computing

Language:PythonStargazers:27Issues:0Issues:0

mqt-qmap

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

Language:C++License:MITStargazers:90Issues:0Issues:0

mqt-qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

Language:C++License:MITStargazers:17Issues:0Issues:0

zx

MQT ZX - A library for working with ZX-diagrams

Language:C++License:MITStargazers:16Issues:0Issues:0

mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Language:C++License:MITStargazers:86Issues:0Issues:0

mqt-core

MQT Core - The Backbone of the Munich Quantum Toolkit

Language:C++License:MITStargazers:50Issues:0Issues:0

dd_package

MQT decision diagram package tailored to quantum computing

Language:C++License:MITStargazers:27Issues:0Issues:0

mqt-bench

MQT Bench - A MQT tool for Benchmarking Quantum Software Tools

Language:PythonLicense:MITStargazers:69Issues:0Issues:0

mqt-predictor

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

Language:PythonLicense:MITStargazers:57Issues:0Issues:0

mqt-syrec

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

Language:C++License:MITStargazers:23Issues:0Issues:0

mqt-qecc

MQT QECC - Tools for Quantum Error Correcting Codes

Language:PythonLicense:MITStargazers:92Issues:0Issues:0

mqt-ddsim

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

Language:C++License:MITStargazers:128Issues:0Issues:0