Standard ML

languages / Standard ML
3,766Developers

Top ranked

RankDeveloperReposStars
1gravatar for GoldenCheetahGoldenCheetah11,472
2gravatar for MLtonMLton2846
3gravatar for AuditProjectAuditProject1843
4gravatar for CakeMLCakeML7802
5gravatar for urweburweb2757
6gravatar for melsmanmelsman20541
7gravatar for HOL-Theorem-ProverHOL-Theorem-Prover2518
8gravatar for composercomposer1489
9gravatar for polymlpolyml3418
10gravatar for rems-projectrems-project2413
4,885Repos

Top ranked

RankRepoStarsDeveloper
GoldenCheetah/GoldenCheetah on Github1GoldenCheetah1,472GoldenCheetah
AuditProject/truecrypt-verified-mirror on Github2truecrypt-verified-mirror843AuditProject
MLton/mlton on Github3mlton816MLton
CakeML/cakeml on Github4cakeml772CakeML
urweb/urweb on Github5urweb753urweb
HOL-Theorem-Prover/HOL on Github6HOL518HOL-Theorem-Prover
composer/getcomposer.org on Github7getcomposer.org489composer
polyml/polyml on Github8polyml415polyml
MrChrisJ/World-Citizenship on Github9World-Citizenship402MrChrisJ
rems-project/sail on Github10sail387rems-project
291Topics

Most popular