leo-std
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
View on Github
Activity
- Latest release
- 18h ago
- Total releases
- 10
- Cadence
- ~13 days
- Last 12 months
- 10
Reach
- Downloads
- 353
- Stars
- 4.8k
Details
- License
- GPL-3.0
- First release
- Jun 12, 2026
Releases
| Version | Released | |
|---|---|---|
4.4.6
patch
| ||
4.4.5
patch
| ||
4.4.4
patch
| ||
4.4.3
patch
| ||
4.4.2
patch
| ||
4.4.1
patch
| ||
4.4.0
minor
| ||
4.3.4
patch
| ||
4.3.3
minor
| ||
4.2.0
initial
|