Standard ML
languages / Standard ML3,974Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | GoldenCheetah | 1 | 1,670 |
2 | ![]() | MLton | 2 | 923 |
3 | ![]() | CakeML | 8 | 907 |
4 | ![]() | AuditProject | 1 | 862 |
5 | ![]() | urweb | 2 | 778 |
6 | ![]() | melsman | 20 | 574 |
7 | ![]() | HOL-Theorem-Prover | 2 | 569 |
8 | ![]() | composer | 1 | 519 |
9 | ![]() | polyml | 3 | 463 |
10 | ![]() | MrChrisJ | 1 | 402 |
5,089Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | GoldenCheetah | 1,670 | GoldenCheetah |
![]() | 2 | mlton | 891 | MLton |
![]() | 3 | truecrypt-verified-mirror | 862 | AuditProject |
![]() | 4 | cakeml | 856 | CakeML |
![]() | 5 | urweb | 774 | urweb |
![]() | 6 | HOL | 568 | HOL-Theorem-Prover |
![]() | 7 | getcomposer.org | 519 | composer |
![]() | 8 | polyml | 459 | polyml |
![]() | 9 | World-Citizenship | 402 | MrChrisJ |
![]() | 10 | interactive-lp | 262 | chrisamaphone |