Standard ML

languages / Standard ML
3,974Developers

Top ranked

RankDeveloperReposStars
1gravatar for GoldenCheetahGoldenCheetah11,670
2gravatar for MLtonMLton2923
3gravatar for CakeMLCakeML8907
4gravatar for AuditProjectAuditProject1862
5gravatar for urweburweb2778
6gravatar for melsmanmelsman20574
7gravatar for HOL-Theorem-ProverHOL-Theorem-Prover2569
8gravatar for composercomposer1519
9gravatar for polymlpolyml3463
10gravatar for MrChrisJMrChrisJ1402
5,089Repos

Top ranked

RankRepoStarsDeveloper
GoldenCheetah/GoldenCheetah on Github1GoldenCheetah1,670GoldenCheetah
MLton/mlton on Github2mlton891MLton
AuditProject/truecrypt-verified-mirror on Github3truecrypt-verified-mirror862AuditProject
CakeML/cakeml on Github4cakeml856CakeML
urweb/urweb on Github5urweb774urweb
HOL-Theorem-Prover/HOL on Github6HOL568HOL-Theorem-Prover
composer/getcomposer.org on Github7getcomposer.org519composer
polyml/polyml on Github8polyml459polyml
MrChrisJ/World-Citizenship on Github9World-Citizenship402MrChrisJ
chrisamaphone/interactive-lp on Github10interactive-lp262chrisamaphone
0Topics

Most popular

TopicReposStars