Standard ML
languages / Standard ML4,052Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | GoldenCheetah | 1 | 1,590 |
2 | ![]() | MLton | 2 | 898 |
3 | ![]() | AuditProject | 1 | 856 |
4 | ![]() | CakeML | 8 | 856 |
5 | ![]() | IntelLabs | 1 | 816 |
6 | ![]() | urweb | 2 | 765 |
7 | ![]() | melsman | 20 | 559 |
8 | ![]() | HOL-Theorem-Prover | 2 | 543 |
9 | ![]() | composer | 1 | 513 |
10 | ![]() | rems-project | 2 | 475 |
5,255Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | GoldenCheetah | 1,590 | GoldenCheetah |
![]() | 2 | mlton | 867 | MLton |
![]() | 3 | truecrypt-verified-mirror | 856 | AuditProject |
![]() | 4 | cakeml | 819 | CakeML |
![]() | 5 | flrc | 816 | IntelLabs |
![]() | 6 | urweb | 761 | urweb |
![]() | 7 | HOL | 543 | HOL-Theorem-Prover |
![]() | 8 | getcomposer.org | 513 | composer |
![]() | 9 | sail | 442 | rems-project |
![]() | 10 | polyml | 438 | polyml |