The ML Kit is a Standard ML Compiler.

Some Properties of the MLKit

• SML'97

• including most of the latest Standard ML Basis Library

• Supports ML Basis Files

• and separate compilation

• Region-Based Memory Management

• and garbage collection

• Two Backends

• native x86 and bytecode

At the time of writing, MLKit does not support:

• concurrent programming / threads,

• calling from C to SML.