ProvableHQ/leo — GitHub trending stats & insights

Featured

ProvableHQ/leo

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

Rust

4.8k

706

88 contributors

GNU General Public License v3.0

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

ProvableHQ/leo has been featured on GitHub Trending, first reaching #1 on Nov 30, 2023

ProvableHQ/leo has trended on Trendshift's daily and weekly list

First achieved on 17th, Jan 2024 for Rust

First achieved on 18th, Jan 2024 across all languages