Compilador de la programación ML estándar. Se trata de varias extensiones prácticas, incluyendo una perfecta interoperabilidad con C, integración con SQL y compilación separada. Incluye los ejecutables smlformat, smllex, smlsharp y smlyacc
$ smlformat -i input.sml -o output.sml
$ smllex lexer.lex
$ smlsharp -o program program.sml
$ smlsharp -o program module1.o module2.o
$ smlyacc grammar.y