granule-project
Granule Project Joined Sept 2018 View on GitHub
- Stars
- 840
- across 7 public repos
- Rank
- #25,632
- of 95,325 organizations, top 27%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 87,438 | A statically-typed linear functional language with graded modal types for fine-grained program reasoning | Haskell | 746 |
| 591,741 | A small implementation of graded modal dependent type theory. A younger cousin to Granule. | Haskell | 78 |
Among 95,325 organizations
630–1k stars: 7,748 organizations, including granule-project
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
- Haskell 824 stars, 98% · 2 repos
When they were made
2 repos with 50+ stars, made between 2017 and 2020
101001k gertygranule
Quick stats
- Next rank
- +1 star to reach #25,609
- Next milestone
- +483 stars to reach the top 20%
- Public repos
- 7, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- granule, #87,438 of all repos, 89% of stars
- Smaller repos
- 16 stars from repos under 50