#quantinuum hat on. We just announced Guppy, our #programming language for our new #quantum computer, Helios. The hardware will be publicly launched later this year, but you can get Guppy now.
Guppy is for writing programs that run in the QPU. Unlike all other quantum computers, Helios is actually a computer. Correspondingly, Guppy offers arbitrary control and (mildly restricted) classical data structures. Guppy is strongly statically typed, and quantum data is treated linearly, so you can neither leak nor double-free qubits.
Guppy is embedded in python, but is separately compiled, and maintains a clear distinction between compile-time (inside the python interpreter) and runtime (inside the QPU). You can use python for meta-programming (e.g. loop over all the qubits at compile time to build a static circuit, or have that same loop happen at runtime.). The two levels play nice together.
There is also a simulator specially made to run these programs, called Selene.
We spent a long time working on this, and I'm very proud to have it out there "for real".
Try it : `pip install guppylang`
https://guppylang.org
https://www.quantinuum.com/blog/built-for-all-introducing-our-new-software-stack
https://github.com/CQCL/guppylang