Reach 125K+ monthly visitors
Advertise on TrendshiftProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Achievements
Trendshift snapshots GitHub's daily Trending list and runs its own trending list. The dynamic badges below mark the best position this repository has reached on each platform. They refresh automatically as its position climbs
GitHub Trending
ProvableHQ/leo has been featured on GitHub Trending, first reaching #1 on Nov 30, 2023
Trendshift Trending
ProvableHQ/leo has trended on Trendshift's daily and weekly list
Daily
First achieved on 17th, Jan 2024 for Rust
First achieved on 18th, Jan 2024 across all languages