★
mlton 是用 Standard ML 编写的工程工具，用于代码分析、构建与打包。
The MLton repository
cakeml 是用 Standard ML 编写的工程工具，用于代码分析、构建与打包。
目前累计 1.2k star、109 fork，主要语言为 Standard ML，项目始于 2012 年，采用 BSD-3-Clause 许可。最近状态：近一个月有提交。适合：关注构建效率的工程师。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。CakeML/cakeml 是一个以 Standard ML 为主的开源项目，目前累计 1.2k star、109 fork，近 30 天内有提交。主要方向：编译器、formal-semantics、formal-verification、hol、programming-language、sml。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
GoldenCheetah 是用 Standard ML 编写的学习资料，用于系统学习与查阅。
Performance Software for Cyclists, Runners, Triathletes and Coaches