SML编程资源
-
并发ML -
sml_tk公司 ，一个用于使用TK图形界面的库， 现已更新到3.0版 马丁·埃尔维格的 函数图库 Yi和Ryu的 SML/NJ异常分析器 太阳的NOQ SDL:：ML 。“Sam Lantiga SDL库的标准ML绑定。 SDL代表Simple DirectMedia Layer，是一个用于 创建声音、快速图形、获取鼠标和键盘输入等。” 这适用于MLton和MLKit，但希望它能 移植到SML/NJ。 另请参阅中提供的工具和库 控制 目录 SML/NJ ftp站点。
相关编译器研究项目
-
MLRISC代码生成器系统 -
耶鲁大学的FLINT项目 -
KAIST的LET项目 -
康奈尔大学和CMU的TILT编译器项目 -
康奈尔大学TAL（类型汇编语言）项目 -
DIKU的ML Kit项目 -
MLton全程序优化SML编译器。 （SML’97） 爱丁堡的动态ML项目 这个 莫比 程序设计语言 -合并 面向对象和函数式编程。 这个 ckit公司 C的前端 Church项目：使用流类型编译 罗克扬科特INRIA Cristal项目（Caml，Ocaml） 伯克利分析引擎（BANE） Zephyr抽象语法描述语言（ASDL） 新泽西机器代码工具包 C---：一种可移植汇编语言 CMU的携带证明代码 普林斯顿大学的携带证明准则 扩展ML（SML程序的规范和正式开发） 澳大利亚国立大学的paraML项目
标准ML（和子集）的其他实现
-
这个 标准ML项目 在 www.smlfamily.org 是 旨在通过收集 通用测试套件、基准测试、库和文档。 -
聚乙烯/ML , Dave Matthew的 标准ML编译器（以前由Abstract、， Inc.）现在可以作为一个免费的开源实现提供。 版本4实现了SML'97。 -
Poplog标准ML ，现在可用作 自由软件 （SML’90） -
莫斯科ML （现在使用2.0版 实现SML’97，包括模块 扩展） -
ML套件 。（版本4实现SML'97，使用区域 内存管理分析。） -
MLj公司 （SML'97子集，使用 使用Java的扩展） [MLj已经移动 从柿子IT到爱丁堡。] -
MLton公司 , 全程序优化SML编译器。 （SML’97） -
MLWorks公司 以前是Harlequin的产品 Ltd不再可用。 幸运的话，它可能会免费返回 未来的软件。 （SML’97）