Standard ML
languages / Standard ML4,359Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | GoldenCheetah | 1 | 1,737 | |
2 | CakeML | 8 | 968 | |
3 | MLton | 2 | 941 | |
4 | AuditProject | 1 | 861 | |
5 | IntelLabs | 1 | 816 | |
6 | urweb | 2 | 801 | |
7 | melsman | 21 | 594 | |
8 | HOL-Theorem-Prover | 2 | 591 | |
9 | composer | 1 | 527 | |
10 | polyml | 3 | 478 |
8,963Repos
Top ranked
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 |