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
- [Bug] Compiler panic in type checking: out-of-bounds tuple index access inside a `final` block
- Fix panic on out-of-bounds tuple access in final block
- Fix compiler panic when destructuring a non-tuple value
- Fix panic on undefined type in _dynamic_call type parameters
- Reject const generics in non-inlinable function contexts
- [Bug] Compiler panic in SSA pass: `Type checking guarantees that all expressions have a type` on void function comparison inside `final` block
- [Bug] Compiler panic in code generation: `Trying to assert an empty expression` on `assert_eq` of void `Mapping::set` calls
- [Bug] Compiler panic in code generation: `Unexpected type for unsuffixed integer literal` in `_dynamic_call` argument
- WIP: CEI pass
- [Bug] Compiler panic in destructuring pass: `A definition with multiple identifiers must have tuple type`
- Docs
- Rust not yet supported