leo-span
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 49
- Cadence
- ~14 days
- Last 12 months
- 15
Reach
- Downloads
- 43.5k
- Stars
- 4.8k
Details
- License
- GPL-3.0
- First release
- Nov 15, 2022
Releases
| Version | Released | |
|---|---|---|
4.4.2
patch
| ||
4.4.1
patch
| ||
4.4.0
minor
| ||
4.3.4
patch
| ||
4.3.3
patch
| ||
4.3.0
minor
| ||
4.2.0
minor
| ||
4.1.0
minor
| ||
4.0.2
patch
| ||
4.0.1
patch
| ||
4.0.0
major
| ||
3.5.0
minor
| ||
3.4.0
minor
| ||
3.3.1
patch
| ||
3.3.0
minor
| ||
3.2.0
minor
| ||
3.1.0
minor
| ||
3.0.0
major
| ||
2.7.3
patch
| ||
2.7.2
patch
| ||
2.7.1
patch
| ||
2.7.0
minor
| ||
2.6.1
patch
| ||
2.6.0
minor
| ||
2.5.0
minor
| ||
2.4.1
patch
| ||
2.4.0
minor
| ||
2.3.0
minor
| ||
2.0.0
major
| ||
1.12.0
minor
| ||
1.11.0
minor
| ||
1.10.0
minor
| ||
1.9.4
patch
yanked
| ||
1.9.3
patch
| ||
1.9.2
patch
| ||
1.9.1
patch
| ||
1.9.0
minor
| ||
1.8.3
patch
| ||
1.8.2
patch
| ||
1.8.1
patch
| ||
1.8.0
minor
| ||
1.7.3
patch
| ||
1.7.2
patch
| ||
1.7.1
patch
| ||
1.7.0
minor
| ||
1.6.3
patch
| ||
1.6.2
patch
| ||
1.6.1
patch
| ||
1.6.0
initial
|