Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
CakeML
Star
1301
Rank
8666
Go to GitHub
Fetched on 2026/08/16 19:25
11 Repositories
cakeml
1184
pure
44
hardware
28
candle
26
hol-reflection
8
regression
3
game-of-life
3
choreo
2
sss
1
mitb
1
documentation
1
