zx-calculus
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
A qubit-count & dimension agnostic quantum state simulator built on symbolic qufinite ZX-Calculus.
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
