Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
CakeML
Star
1218
Rank
8766
Go to GitHub
Fetched on 2026/03/03 00:03
11 Repositories
cakeml
1115
pure
39
hardware
28
candle
18
hol-reflection
8
regression
3
game-of-life
2
choreo
2
sss
1
mitb
1
documentation
1
