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