2 results found Sort:

cda-tum
mqt-qcec cda-tum
21
96
mit
6
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
jku mqt tum cpp17 python zx-calculus verification quantum-circuits decision-diagrams quantum-computing equivalence-checker
Created 2020-01-02
954 commits to main branch, last one 3 days ago
QuantumBFS
ZXCalculus.jl QuantumBFS
8
48
mit
8
An implementation of ZX-calculus in Julia
julia quantum zx-calculus
Created 2020-02-12
153 commits to master branch, last one 3 months ago