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 |