MLKit

* Open Source License. MLKit is open source; it is distributed under the GNU General Public License (GPL). The runtime system and libraries are also distributed under the MIT licence, thus, executables constructed with the MLKit are non-restricted. * Enlarge Region Profiling. The MLKit includes a graphical region proFILEr, which helps gain detailed control over memory reuse. The example graph to the right shows a region profile (region sizes as a function of time) of two hundred generations of the `Game Of Life`. * Good for Real-Time. Programmers who are interested in real-time programming can exploit the possibility of disabling reference-tracing garbage collection. In this case, there will be no interruptions of unbounded duration at runtime. * Interface to C. MLKit applications can call C functions using standard C calling conventions; the region scheme can even take care of allocating and deallocating regions used by C functions thus invoked. * Efficient implementation of Modules. The MLKit compiles Standard ML Modules, using a compilation scheme called Static Interpretation, which eliminates Modules entirely at compile time. * Two Backends. Two backends are provided, one that generates x86 native machine code for the Linux operating system and one that generates bytecode.