dafny-lang
Dafny Joined Jun 2019 View on GitHub
- Stars
- 3,818
- across 22 public repos
- Rank
- #8,768
- of 95,325 organizations, top 10%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 18,466 | Dafny is a verification-aware programming language | C# | 3,626 |
| 838,789 | Libraries useful for Dafny programs | Dafny | 50 |
Among 95,325 organizations
2.5k–4k stars: 3,696 organizations, including dafny-lang
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- C# 3.6k stars, 95% · 1 repo
- Dafny 50 stars, 1% · 1 repo
When they were made
2 repos with 50+ stars, made between 2016 and 2019
101001k10k librariesdafny
Quick stats
- Next rank
- +1 star to reach #8,767
- Next milestone
- +31,217 stars to reach the top 1%
- Public repos
- 22, 2 with 50+ stars
- Popular repos
- 1 over 100 stars, 1 over 1k stars
- Top repo
- dafny, #18,466 of all repos, 95% of stars
- Smaller repos
- 142 stars from repos under 50