TKET
TKET is Quantinuum's optimizing quantum compiler. The Python interface `pytket` and the C++ core `tket` provide gate-level circuit construction, hardware-agnostic optimization passes, routing, and backend extensions for Quantinuum H-Series, IBM Q (Qiskit), Amazon Braket, IQM, AQT, PennyLane, and others. TKET2 (Rust) is the next-generation compiler built on the HUGR intermediate representation.