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 about 2 months ago 1 commits 1 stars
nexus-bot|Mirror: radumarg/leaf-qpl (⭐1)
about 2 months 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