Concurrent ML是Standard ML编程语言的并发计算扩展，其特征是能够允许编程者建立可复合的通信抽象，它是为头等对象而并未建入于语言。CML的设计和原语操作已经被一些其他编程语言接纳，比如GNU Guile、Racket和Manticore。
新泽西Standard ML，是针对Standard ML编程语言的自由及开放源代码软件的编译器和编程环境，它还支持Concurrent ML。除了它的运行时系统是用C语言写成之外，SML/NJ大部分是用Standard ML写成的。它最初是贝尔实验室和普林斯顿大学联合开发的。
Isabelle 是一个基于高阶逻辑的通用交互式定理证明器。它是一个 LCF风格的证明辅助工具，使用 Standard ML 语言实现。它拥有一个极小化的逻辑核心；这意味着使用它的证明和形式化验证具有较强的的可信度。
MLton是开源的Standard ML的全程序优化编译器。MLton开发始于1997年，并由世界范围的开发者和用户社群持续开发着，现在MLton已经被移植到了很多平台。MLton是2013年Google夏日程式码大赛的参与组织。
Mini wiki
