CakeML: A Verified Implementation of ML

The MLton repository

Haskell Research Compiler

The Ur/Web programming language

Poly/ML

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Standard ML Compiler and Toolkit

Low-level Lisp with compile-time memory management

The People's Refinement Logic

APL Compiler targeting a typed array intermediate language

MLWorks is a Standard ML compiler and development environment.

Library and Toolkit for Standard ML

The Twelf Programming Language

SML reference interpreter

MLton with Realtime GC and Threading features

A statically-typed programming language based on "F-ing modules"

A small implementation of type inference

Parallel ML compiler

MLton for scalable multicore architectures

Standard ML compiler based on typed intermediate languages.

The MLtonLibrary repository

SML Checker for Intersection and Datasort Refinements (pronounced "cider")

Tool for detecting bad style in Standard ML programs

The University at Buffalo MLton fork featuring a Modular Garbage Collector