Standard ML GitHub repos
42 Standard ML repos in the catalog, most starred first.
- GoldenCheetah/GoldenCheetahStars: 2,250Standard MLRC
- CakeML/cakemlStars: 1,219Standard MLBeta
- MLton/mltonStars: 1,097Standard MLBeta
- AuditProject/truecrypt-verified-mirrorStars: 871Standard MLBeta
- urweb/urwebStars: 852Standard MLBeta
- HOL-Theorem-Prover/HOLStars: 767Standard MLBeta
- miaoermua/CatWrtStars: 648Standard MLAlpha
- jichangtuijian-cheap/cheap-airportsStars: 619Standard MLAlpha
- polyml/polymlStars: 579Standard MLAlpha
- composer/getcomposer.orgStars: 565Standard MLAlpha
- minoki/LunarMLStars: 458Standard MLAlpha
- pegasus-ps5/pegasus-dlStars: 453Standard MLAlpha
- MPLLang/mplStars: 437Standard MLAlpha
- kfl/mosmlStars: 411Standard MLAlpha
- MrChrisJ/World-CitizenshipStars: 401Standard MLAlpha
- BohemiaInteractive/Arma-Reforger-SamplesStars: 313Standard MLAlpha
- melsman/mlkitStars: 309Standard MLAlpha
- adde88/openwrt-useful-toolsStars: 307Standard MLAlpha
- chrisamaphone/interactive-lpStars: 293Standard MLAlpha
- eudoxia0/interimStars: 282Standard MLAlpha
- smlnj/smlnjStars: 256Standard MLAlpha
- gamelinux/pradsStars: 249Standard MLPrototype
- RedPRL/sml-redprlStars: 229Standard MLPrototype
- melsman/apltailStars: 220Standard MLPrototype
- rootkovska/codehash.dbStars: 214Standard MLPrototype
- Ravenbrook/mlworksStars: 181Standard MLPrototype
- zxcalc/quantomaticStars: 174Standard MLPrototype
- diku-dk/smlpkgStars: 169Standard MLPrototype
- standardml/twelfStars: 163Standard MLPrototype
- IBM/cloud-pakStars: 148Standard MLPrototype