Sign in Sign up
cargo

leo-lsp

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

cargo View on Cargo github View on Github

Activity

Latest release
1d ago
Total releases
11
Cadence
~13 days
Last 12 months
11

Reach

Downloads
311
Stars
4.8k

Details

License
GPL-3.0
First release
May 29, 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 minor
4.1.0 initial