ethereum/
Formally verified Ethereum primitives, written in Lean.
by ethereum Lean CC0-1.0 licence 23 forks Created Aug 2024 View on GitHub
- Stars
- 96
- <1% of ethereum's stars
- Rank
- #502,161
- of 851,496 repos, top 59%
Among 851,496 repos
63–100 stars: 217,501 repos, including EthLib
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #498,280
- Next milestone
- +23 stars to reach the top 50%
- Yearly average
- 43 stars a year since Aug 2024