dafny-lang/
Libraries useful for Dafny programs
by Dafny Dafny Other licence 28 forks Created Jul 2019 View on GitHub
- Stars
- 50
- 1% of dafny-lang's stars
- Rank
- #838,789
- of 851,984 repos, top 99%
Among 851,984 repos
40–63 stars: 143,700 repos, including libraries
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 #826,021
- Next milestone
- +7 stars to reach the top 90%
- Yearly average
- 7 stars a year since Jul 2019