Standard ML

languages / Standard ML
4,052Developers

Top ranked

RankDeveloperReposStars
1gravatar for GoldenCheetahGoldenCheetah11,590
2gravatar for MLtonMLton2898
3gravatar for AuditProjectAuditProject1856
4gravatar for CakeMLCakeML8856
5gravatar for IntelLabsIntelLabs1816
6gravatar for urweburweb2765
7gravatar for melsmanmelsman20559
8gravatar for HOL-Theorem-ProverHOL-Theorem-Prover2543
9gravatar for composercomposer1513
10gravatar for rems-projectrems-project2475
5,255Repos

Top ranked

RankRepoStarsDeveloper
GoldenCheetah/GoldenCheetah on Github1GoldenCheetah1,590GoldenCheetah
MLton/mlton on Github2mlton867MLton
AuditProject/truecrypt-verified-mirror on Github3truecrypt-verified-mirror856AuditProject
CakeML/cakeml on Github4cakeml819CakeML
IntelLabs/flrc on Github5flrc816IntelLabs
urweb/urweb on Github6urweb761urweb
HOL-Theorem-Prover/HOL on Github7HOL543HOL-Theorem-Prover
composer/getcomposer.org on Github8getcomposer.org513composer
rems-project/sail on Github9sail442rems-project
polyml/polyml on Github10polyml438polyml
0Topics

Most popular

TopicReposStars