Standard ML
languages / Standard ML3,837Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | GoldenCheetah | 1 | 1,546 |
2 | ![]() | MLton | 2 | 874 |
3 | ![]() | AuditProject | 1 | 851 |
4 | ![]() | CakeML | 7 | 828 |
5 | ![]() | urweb | 2 | 760 |
6 | ![]() | melsman | 20 | 551 |
7 | ![]() | HOL-Theorem-Prover | 2 | 529 |
8 | ![]() | polyml | 3 | 433 |
9 | ![]() | MrChrisJ | 1 | 403 |
10 | ![]() | kfl | 9 | 369 |
4,949Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | GoldenCheetah | 1,546 | GoldenCheetah |
![]() | 2 | truecrypt-verified-mirror | 851 | AuditProject |
![]() | 3 | mlton | 844 | MLton |
![]() | 4 | cakeml | 792 | CakeML |
![]() | 5 | urweb | 756 | urweb |
![]() | 6 | HOL | 529 | HOL-Theorem-Prover |
![]() | 7 | polyml | 429 | polyml |
![]() | 8 | World-Citizenship | 403 | MrChrisJ |
![]() | 9 | mosml | 320 | kfl |
![]() | 10 | interactive-lp | 252 | chrisamaphone |