A high-level description language that captures the functional intent of the algorithm in a natural and intuitive way. It abstracts from implementation details, hiding sophisticated encoding of operations and facilitating strong optimizations.

A compiler-optimizer that transforms quantum high-level source code into a highly optimized gate-level implementation. Applying unique patented technology, the engine generates a circuit-level description tuned for the target execution platform by searching the vast space of possible implementations and resource allocations.

A visual tool that bridges the high-level description and the low-level implementation. It facilitates understanding of the algorithm and early detection of logical errors. This is achieved through interactive exploration and intuitive inspection of the quantum data-flow and operations, all the way from the original description down to the gate-level implementation.