Standard ML

languages / Standard ML
3,837Developers

Top ranked

RankDeveloperReposStars
1gravatar for GoldenCheetahGoldenCheetah11,546
2gravatar for MLtonMLton2874
3gravatar for AuditProjectAuditProject1851
4gravatar for CakeMLCakeML7828
5gravatar for urweburweb2760
6gravatar for melsmanmelsman20551
7gravatar for HOL-Theorem-ProverHOL-Theorem-Prover2529
8gravatar for polymlpolyml3433
9gravatar for MrChrisJMrChrisJ1403
10gravatar for kflkfl9369
4,949Repos

Top ranked

RankRepoStarsDeveloper
GoldenCheetah/GoldenCheetah on Github1GoldenCheetah1,546GoldenCheetah
AuditProject/truecrypt-verified-mirror on Github2truecrypt-verified-mirror851AuditProject
MLton/mlton on Github3mlton844MLton
CakeML/cakeml on Github4cakeml792CakeML
urweb/urweb on Github5urweb756urweb
HOL-Theorem-Prover/HOL on Github6HOL529HOL-Theorem-Prover
polyml/polyml on Github7polyml429polyml
MrChrisJ/World-Citizenship on Github8World-Citizenship403MrChrisJ
kfl/mosml on Github9mosml320kfl
chrisamaphone/interactive-lp on Github10interactive-lp252chrisamaphone
302Topics

Most popular