leo
https://github.com/aleohq/leo
Rust
The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Rust not yet supported4 Subscribers
Add a CodeTriage badge to leo
Help out
- Issues
- Fix ABI record lookup for qualified paths
- Fix module-qualified interface records
- [Bug] Dynamic calls reject records from module-qualified interfaces
- [Bug] Inherited interface functions cannot be used through dynamic dispatch
- [Bug] ABI misclassifies a module struct as a record
- [Bug] LSP drops module definitions from saved source dependencies
- [Bug] Cross-library interface checking accepts mismatched const-generic types
- WIP: Add impl blocks
- Allow selecting the Leo add verification network
- [Proposal] Comprehensive Leo CLI reliability, usability, and workflow enhancements
- Docs
- Rust not yet supported