Top Standard ML repos
languages / Standard ML / global8,959 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | GoldenCheetah | 1,737 | GoldenCheetah |
| 2 | cakeml | 912 | CakeML |
| 3 | mlton | 908 | MLton |
| 4 | truecrypt-verified-mirror | 861 | AuditProject |
| 5 | flrc | 816 | IntelLabs |
| 6 | urweb | 797 | urweb |
| 7 | HOL | 590 | HOL-Theorem-Prover |
| 8 | getcomposer.org | 527 | composer |
| 9 | polyml | 474 | polyml |
| 10 | World-Citizenship | 401 | MrChrisJ |