GitHub Rankingspeople and organizations by total stars
Rank among 26,734 organizations
#17,977

CakeML

CakeML, on GitHub since 2014, organization
Total stars
1,321
Repositories counted
10
Since yesterday
▼ 4
Tier
D

Where the stars come from

cakeml
1,225
pure
47
hardware
28
hol-reflection
8
regression
4
choreo
3
4 other repositories
6

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#15,799#16,896#17,992 Oct 4Nov 8