Dépôts Standard ML
42 dépôts Standard ML au catalogue, du plus étoilé au moins étoilé.
- GoldenCheetah/GoldenCheetahÉtoiles : 2 250Standard MLRC
- CakeML/cakemlÉtoiles : 1 219Standard MLBêta
- MLton/mltonÉtoiles : 1 097Standard MLBêta
- AuditProject/truecrypt-verified-mirrorÉtoiles : 871Standard MLBêta
- urweb/urwebÉtoiles : 852Standard MLBêta
- HOL-Theorem-Prover/HOLÉtoiles : 767Standard MLBêta
- miaoermua/CatWrtÉtoiles : 648Standard MLAlpha
- jichangtuijian-cheap/cheap-airportsÉtoiles : 619Standard MLAlpha
- polyml/polymlÉtoiles : 579Standard MLAlpha
- composer/getcomposer.orgÉtoiles : 565Standard MLAlpha
- minoki/LunarMLÉtoiles : 458Standard MLAlpha
- pegasus-ps5/pegasus-dlÉtoiles : 453Standard MLAlpha
- MPLLang/mplÉtoiles : 437Standard MLAlpha
- kfl/mosmlÉtoiles : 411Standard MLAlpha
- MrChrisJ/World-CitizenshipÉtoiles : 401Standard MLAlpha
- BohemiaInteractive/Arma-Reforger-SamplesÉtoiles : 313Standard MLAlpha
- melsman/mlkitÉtoiles : 309Standard MLAlpha
- adde88/openwrt-useful-toolsÉtoiles : 307Standard MLAlpha
- chrisamaphone/interactive-lpÉtoiles : 293Standard MLAlpha
- eudoxia0/interimÉtoiles : 282Standard MLAlpha
- smlnj/smlnjÉtoiles : 256Standard MLAlpha
- gamelinux/pradsÉtoiles : 249Standard MLPrototype
- RedPRL/sml-redprlÉtoiles : 229Standard MLPrototype
- melsman/apltailÉtoiles : 220Standard MLPrototype
- rootkovska/codehash.dbÉtoiles : 214Standard MLPrototype
- Ravenbrook/mlworksÉtoiles : 181Standard MLPrototype
- zxcalc/quantomaticÉtoiles : 174Standard MLPrototype
- diku-dk/smlpkgÉtoiles : 169Standard MLPrototype
- standardml/twelfÉtoiles : 163Standard MLPrototype
- IBM/cloud-pakÉtoiles : 148Standard MLPrototype