Download
The Sources
The MLKit sources are hosted at Github and contain the sources for
- The MLKit native compiler, including x64 and arm64 backends and the interactive REPL.
- ReML, Standard ML with explicit regions, effects, and effect constraints.
- SMLtoJs, an optimizing Standard ML to JavaScript compiler.
- Online SML IDE, an online Standard ML compiler running in the user’s browser with Dropbox used as storage.
- Tools, such as MLYacc, MLLex, Rp2ps (profile visualizer), and many others.
Prerequisites
MLKit’s x64 backend supports Linux and macOS. The new arm64 backend supports native builds on Apple Silicon (macOS); see the brief arm64 note below.
Download
To get the latest version of the sources, issue the following git command:
git clone https://github.com/melsman/mlkit.git
For older versions of the MLKit, you may browse the list of releases.
Installation
See the installation instructions and release downloads for packaged versions. Check the architecture and features of the chosen release; new development features may require building from source.
After installation, run mlkit to start the REPL,
mlkit program.sml to compile a native program, reml program.sml to use
ReML, or smltojs program.sml to compile for the
browser.
Native arm64 on Apple Silicon
The new arm64 backend supports native MLKit, ReML, and the REPL on Apple Silicon (macOS). It is currently available from the development sources. See the compiler documentation for details.