Qrisp

Qrisp is a high-level language for developing and compiling quantum algorithms. Its structured programming model supports scalable development and maintenance. Key features include:

• Typed quantum variables: Structure code using variables and functions instead of qubits and circuits, reducing technical debt.
• Automatic uncomputation: Variables can be automatically uncomputed when no longer needed, integrated with advanced qubit resource management.
• Modularity: Automated qubit allocation allows modules to recycle resources independently, facilitating interoperability.
• Arithmetic: Smoothly integrated floating-point arithmetic supports complex applications.
• Compatibility: Compiled circuits are standard objects runnable on various hardware providers (IBM Quantum, Quantinuum, Rigetti etc.) and compatible with circuit optimizers like PyZX.
• Simulator: Includes a high-performance simulator using sparse matrices, capable of simulating 100+ qubits.

Code written in this language can be significantly shorter and more readable than equivalent gate-based programs, often resulting in more efficient compiled circuits due to compiler optimizations leveraging code structure.