CakeML: A Verified Implementation of ML

The MLton repository

The Ur/Web programming language

Haskell Research Compiler

Poly/ML

The Standard ML compiler that produces Lua/JavaScript

The MaPLe compiler: efficient and scalable parallel functional programming

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

Standard ML of New Jersey

Generic package manager for Standard ML libraries and programs

The Twelf Programming Language

Library and Toolkit for Standard ML

Smackage Package Manager for Standard ML

SML reference interpreter

MLton with Realtime GC and Threading features

A custom parser/auto-formatter for Standard ML

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

A basic library of algorithms and data structures (a la NJlib)

Parallel ML compiler

A stepping debugger for Standard ML (SML)

An auto-formatter for the Standard ML language

MLB support for CM (the SML/NJ Compilation and Library Manager)

Giraffe Code Generator