MLton - Whole-program optimizing compiler for the Standard ML programming language.
WebML - Standard ML compiler for the Web.
Ponyo - Comprehensive high-level library and toolkit for Standard ML.
smlpkg - Generic package manager for Standard ML libraries and programs.
Compiling Pattern Guards - Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards".