quantum-circuit-optimization
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.