Hardware-tailored readout/preparation circuit optimization on small quantum systems.
Canonical circuit-definition layer for the RQM Technologies quantum software stack
SU(2)-aware circuit compression for quantum workflows
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.