Consensys-inc-archive/
Eth2.0 spec in Dafny
Archived by Consensys Incorporated Archive Dafny Apache-2.0 licence 15 forks Created Dec 2019 View on GitHub
- Stars
- 80
- 1% of Consensys-inc-archive's stars
- Rank
- #580,032
- of 851,984 repos, top 69%
Among 851,984 repos
63–100 stars: 217,630 repos, including eth2.0-dafny
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 #574,372
- Next milestone
- +14 stars to reach the top 60%
- Yearly average
- 12 stars a year since Dec 2019