leo-lsp
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 7
- Cadence
- ~9 days
- Last 12 months
- 7
Reach
- Downloads
- 251
- Stars
- 4.8k
Details
- License
- GPL-3.0
- First release
- May 29, 2026
Releases