Python DSL for safe quantum programming that compiles to Qiskit, where the type system enforces coherence and ancilla cleanliness

https://github.com/binroot/b01t