aleo-labs-protocol / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- Repository stars
- 4,823All-time #12,548
- Fork
- 716
- Last push
- updated 4 days ago
- Repository created
- since 2020
About
Summarised by AI from the README; the original prevails
Author description: 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Basic listing based on official public information; functionality has not been independently evaluated.
- Platform
- Not verified
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
- Maintenance notes
- Not verified