Sign in Sign up
cargo

leo-fmt

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

cargo View on Cargo github View on Github

Activity

Latest release
3w ago
Total releases
11
Cadence
~13 days
Last 12 months
11

Reach

Downloads
574
Stars
4.8k

Details

License
GPL-3.0
First release
Mar 09, 2026
Releases
Version Released
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 minor
4.0.2 patch
4.0.1 patch
4.0.0 major
3.5.0 initial