# Standard ML GitHub repos

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

[Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [Standard ML](https://repo.masters-masters.com/en/languages/standard-ml)

All 42 Standard ML GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each.

## Standard ML GitHub repos

42 Standard ML repos in the catalog, most starred first.

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

## Page 1 of 2

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

---
Data: GitHub