There is a newer version of the record available.

Published July 30, 2026 | Version v2
Software Open

Granthi: Higher-Order Quantum Programming via Unitary Wiring (Artifact as of July 2026)

Authors/Creators

  • 1. ROR icon DePaul University

Description

Higher-order quantum programming via unitary wiring.

Granthi is an experimental quantum programming language/compiler for writing linear typed programs and compiling them to quantum circuits. The OCaml surface language enforces linear use of quantum data, while the backend lowers structural operations, case analysis, and higher-order wiring into pytket circuits.

(Joint paper with Samson Abramsky at OOPSLA 2026)  Available on GitHub from September, 2026.

Files

Files (316.6 kB)

Name Size Download all
md5:657e34f3a85c5b76d9519a66bb51437d
316.6 kB Download