Turing-Complete Languages
Develop with our fully-expressive, Turing-complete programming languages — Helium and Hydrogen. These languages enable you to transcend quantum circuits to express any conceivable quantum computation.
Go Beyond Static Circuits
Traditional quantum programming frameworks are typically confined to static quantum circuits, restricting the ability to implement while loops and other control flow common in classical computing. In contrast, our Turing-complete languages, Helium and Hydrogen, can express any quantum computation. Our compiler facilitates execution on any system, even those without native control flow support, by using a hybrid approach that stitches together outputs from dynamically generated circuits to emulate general control flow.
Explore Infinite Possibilities
Helium and Hydrogen liberate you from the limitations of fixed-length quantum circuits, enabling you to write programs where the runtime isn't predetermined, reflecting true computational freedom.
Our languages
Express Dynamic Loops
Helium supports repeat...until loops, which allow code to dynamically run until a specific condition is met. This flexibility is crucial for quantum tasks where outcomes evolve unpredictably, enabling programs to adapt in real time without predefined iteration limits.
Emulate Mid-circuit Measurements
Helium and Hydrogen enable mid-circuit measurements that influence subsequent computations, vital for quantum error correction and feedback-driven processes. Our compiler compensates for the lack of real-time feedback in current quantum computers by simulating this functionality through post-selection, enabling testing on any system.
Learn more about Hydrogen
Triple Alpha in Early Access
If you are interested in early access to our technology, please register below. We will be inviting selected users to early access based on use cases as we progressively release our tools.