leo
leo copied to clipboard
AleoHQ
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
## 💥 Proposal This would allow: ```rust fn foo(...) = expr; // and fn foo(...) -> R = expr; ``` Motivation: see the equivalent proposal for Rust: https://github.com/Centril/rfcs/blob/rfc/fn-shorthand/text/0000-fn-shorthand.md
## 💥 Proposal - Leo RFC ### Summary Instead of just having 5 sizes of unsigned and signed integer types, allow all sizes, in order to minimize the number of...
## 💥 Proposal - Leo RFC ### Summary Besides the integer types with fixed sizes, we may consider supporting a type that can contain any integer, as done in other...
## 💥 Proposal - Leo RFC ### Summary Instead of just allowing integer values corresponding to "powers of 2" (unsigned and signed), allow types for arbitrary integer ranges. ### Motivation...
## 💥 Proposal - Leo RFC ### Summary Extend the Leo compiler with symbolic reasoning capabilities (theorem proving, model checking, SMT/SAT solving, sound static analysis, etc.) to avoid and detect...
## 💥 Proposal With the upcoming parser re-write, we no longer have the pest file to make the language grammar easily determinable. However, since we still have a written ABNF...
## 🚀 Feature Add support for a (seeded) random number generator. ## Motivation From developer feedback, a simple RNG would be helpful for developers to get started with building a...
## 🚀 Feature We should have a test for every error defined in Leo. ## Motivation To make sure we are testing every error scenario. This feature is currently blocked...
## 🚀 Feature The ability to run `leo doc` as a command. ## Motivation A tool to generate documentation for the code based on comments like `cargo doc`. ## Implementation...
To simplify the installation process for our users and align with GitHub's best practices, I propose using GitHub Releases as the primary method for installing our software across all devices....
