# Dépôts Standard ML

<https://repo.masters-masters.com/languages/standard-ml>

[Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Standard ML](https://repo.masters-masters.com/languages/standard-ml)

Les 42 dépôts Standard ML open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun.

## Dépôts Standard ML

42 dépôts Standard ML au catalogue, du plus étoilé au moins étoilé.

- [GoldenCheetah/GoldenCheetah · ★ 2 251 · Standard ML · RC](https://repo.masters-masters.com/repos/GoldenCheetah/GoldenCheetah)
- [CakeML/cakeml · ★ 1 219 · Standard ML · Bêta](https://repo.masters-masters.com/repos/CakeML/cakeml)
- [MLton/mlton · ★ 1 098 · Standard ML · Bêta](https://repo.masters-masters.com/repos/MLton/mlton)
- [AuditProject/truecrypt-verified-mirror · ★ 871 · Standard ML · Bêta](https://repo.masters-masters.com/repos/AuditProject/truecrypt-verified-mirror)
- [urweb/urweb · ★ 852 · Standard ML · Bêta](https://repo.masters-masters.com/repos/urweb/urweb)
- [HOL-Theorem-Prover/HOL · ★ 768 · Standard ML · Bêta](https://repo.masters-masters.com/repos/HOL-Theorem-Prover/HOL)
- [miaoermua/CatWrt · ★ 649 · Standard ML · Alpha](https://repo.masters-masters.com/repos/miaoermua/CatWrt)
- [jichangtuijian-cheap/cheap-airports · ★ 621 · Standard ML · Alpha](https://repo.masters-masters.com/repos/jichangtuijian-cheap/cheap-airports)
- [polyml/polyml · ★ 579 · Standard ML · Alpha](https://repo.masters-masters.com/repos/polyml/polyml)
- [composer/getcomposer.org · ★ 566 · Standard ML · Alpha](https://repo.masters-masters.com/repos/composer/getcomposer.org)
- [minoki/LunarML · ★ 458 · Standard ML · Alpha](https://repo.masters-masters.com/repos/minoki/LunarML)
- [pegasus-ps5/pegasus-dl · ★ 454 · Standard ML · Alpha](https://repo.masters-masters.com/repos/pegasus-ps5/pegasus-dl)
- [MPLLang/mpl · ★ 437 · Standard ML · Alpha](https://repo.masters-masters.com/repos/MPLLang/mpl)
- [kfl/mosml · ★ 411 · Standard ML · Alpha](https://repo.masters-masters.com/repos/kfl/mosml)
- [MrChrisJ/World-Citizenship · ★ 401 · Standard ML · Alpha](https://repo.masters-masters.com/repos/MrChrisJ/World-Citizenship)
- [BohemiaInteractive/Arma-Reforger-Samples · ★ 314 · Standard ML · Alpha](https://repo.masters-masters.com/repos/BohemiaInteractive/Arma-Reforger-Samples)
- [melsman/mlkit · ★ 309 · Standard ML · Alpha](https://repo.masters-masters.com/repos/melsman/mlkit)
- [adde88/openwrt-useful-tools · ★ 306 · Standard ML · Alpha](https://repo.masters-masters.com/repos/adde88/openwrt-useful-tools)
- [chrisamaphone/interactive-lp · ★ 293 · Standard ML · Alpha](https://repo.masters-masters.com/repos/chrisamaphone/interactive-lp)
- [eudoxia0/interim · ★ 282 · Standard ML · Alpha](https://repo.masters-masters.com/repos/eudoxia0/interim)
- [smlnj/smlnj · ★ 256 · Standard ML · Alpha](https://repo.masters-masters.com/repos/smlnj/smlnj)
- [gamelinux/prads · ★ 249 · Standard ML · Prototype](https://repo.masters-masters.com/repos/gamelinux/prads)
- [RedPRL/sml-redprl · ★ 229 · Standard ML · Prototype](https://repo.masters-masters.com/repos/RedPRL/sml-redprl)
- [melsman/apltail · ★ 220 · Standard ML · Prototype](https://repo.masters-masters.com/repos/melsman/apltail)
- [rootkovska/codehash.db · ★ 214 · Standard ML · Prototype](https://repo.masters-masters.com/repos/rootkovska/codehash.db)
- [Ravenbrook/mlworks · ★ 181 · Standard ML · Prototype](https://repo.masters-masters.com/repos/Ravenbrook/mlworks)
- [zxcalc/quantomatic · ★ 174 · Standard ML · Prototype](https://repo.masters-masters.com/repos/zxcalc/quantomatic)
- [diku-dk/smlpkg · ★ 169 · Standard ML · Prototype](https://repo.masters-masters.com/repos/diku-dk/smlpkg)
- [standardml/twelf · ★ 163 · Standard ML · Prototype](https://repo.masters-masters.com/repos/standardml/twelf)
- [IBM/cloud-pak · ★ 148 · Standard ML · Prototype](https://repo.masters-masters.com/repos/IBM/cloud-pak)

## Page 1 sur 2

- [Page suivante](https://repo.masters-masters.com/languages/standard-ml?page=2)

---
Données : GitHub