Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

A quick ZX calculus library written in Rust

UniSys (Unitary Synthesis) is a self-contained quantum program compilation framework including gate decomposition, qubit mapping and routing, high-level optimization and ISA transpilation functiona…