GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ decision-diagrams
Top 2 decision-diagrams open source projects
ddsim
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
✭ 45
C++
python
Jupyter Notebook
CMake
shell
tum
quantum-computing
decision-diagrams
quantum-circuit-simulator
quantum-circuits
mqt
jku
qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
✭ 64
C++
python
CMake
tum
verification
quantum-computing
decision-diagrams
quantum-circuits
mqt
equivalence-checker
jku
zx-calculus
1-2
of
2
decision-diagrams projects