👨🍼
- Austria
-
09:17
(UTC 01:00) - https://burgholzer.me
- https://orcid.org/0000-0003-4699-1316
- @BurgholzerLukas
Highlights
- Pro
Pinned Loading
-
cda-tum/mqt-qcec
cda-tum/mqt-qcec PublicMQT QCEC - A tool for Quantum Circuit Equivalence Checking
-
cda-tum/mqt-qmap
cda-tum/mqt-qmap PublicMQT QMAP - A tool for Quantum Circuit Mapping written in C
-
cda-tum/mqt-core
cda-tum/mqt-core PublicMQT Core - The Backbone of the Munich Quantum Toolkit
-
cda-tum/mqt-ddsim
cda-tum/mqt-ddsim PublicMQT DDSIM - A quantum circuit simulator based on decision diagrams written in C
-
cda-tum/mqt-ddvis
cda-tum/mqt-ddvis PublicMQT 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.
-
cda-tum/setup-z3
cda-tum/setup-z3 PublicSet up a specific version of the Z3 theorem prover
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.