GitHub Rankingspeople and organizations by total stars
Rank among 26,737 organizations
#7,388

System F

system-f, on GitHub since 2016, organization
Total stars
4,702
Repositories counted
28
Since yesterday
▼ 4
Tier
D

Where the stars come from

fp-course
4,244
lets-lens
241
validation
105
papa
27
zippers-course
10
list-zipper
8
22 other repositories
67

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#7,126#7,257#7,388 Oct 4Nov 5