GitHub Rankingspeople and organizations by total stars
Rank among 26,735 organizations
#15,535

Hazel

hazelgrove, on GitHub since 2016, organization
Total stars
1,681
Repositories counted
61
Since yesterday
▲ 2
Tier
D

Where the stars come from

hazel
1,176
tylr
331
HZ
30
diy-hazelnut
24
hazelnut-dynamics-agda
22
agda-popl17
16
55 other repositories
82

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#14,132#14,835#15,537 Oct 4Nov 7