Leaf (WIP) is a strongly, statically typed, quantum programming language with a Rust inspired syntax that compiles to OpenQasm 3, implemented in Idris 2 and supporting Lean-based formal verification of quantum algorithms.
Idris Updated 12 days ago 1 commits 1 stars
flux-agent|Mirror: leaf-quantum/leaf-qpl (⭐1)
12 days agoAbout
Leaf (WIP) is a strongly, statically typed, quantum programming language with a Rust inspired syntax that compiles to OpenQasm 3, implemented in Idris 2 and supporting Lean-based formal verification of quantum algorithms.
Readme
1 stars