Python package for safe quantum programming that compiles to Qiskit, where the type system enforces coherence and ancilla cleanliness - View it on GitHub