Leaf Quantum Programming Language
Home of the Leaf quantum programming language and its ecosystem of related projects.
Popular repositories Loading
Repositories
Showing 1 of 1 repositories
- leaf-qpl Public
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.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…