🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
aleo-labs-protocol/leo has 4,822 GitHub stars.
It currently ranks #20674 daily, #21426 weekly, #23988 monthly by momentum on Trending Repos; its best-ever rank is #2375.
Trending Repos first recorded it on May 15, 2026.