Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantu...
summary
Qrisp is a Python-embedded high-level language that actually compiles down to gate-level circuits and runs on simulated IBM and Quantinuum backends via a virtual-backend wrapper. It exposes Quantum float and Quantum bool types, automates qubit allocation, circuit management and uncompute/Invert environment blocks, emits CX-based circuits, supports controlled-gate synthesis and symbolic unitary calculation, and includes a basic transpiler. Example: a Grover demo compiles to ten oracle/diffuser gates but only needs two iterations for the tiny search space. Code works but licensing currently prevents public release.
AI-written summary · about
chapters (6)
- 0:00Start
- 2:16QUANTUM HIGH LEVEL
- 4:24HIGH LEVEL CODING
- 8:13HIGH-LEVEL CODE EXAMPLE - ORACLE SPECIFICATION
- 18:31QUANTUM DICTIONARIES
- 19:47QUANTUM LOOPS
related talks
33mAn accessible approach to quantum algorithms with QFrame and Qrisp
17mQuantum Applications with Classiq
55mScalable Quantum Compilation With Jasp
16mCompiling and Running High-level Quantum Programs
40mQ# - going beyond quantum circuits
19mExtracting maximum value from today's quantum computers while prep
15mToward A Quantum Programming Language for Higher Level Formal Verification
17mQVM: Quantum Gate Virtualization Machine