The MLton repository

Library and Toolkit for Standard ML

Smackage Package Manager for Standard ML

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

Repository and Wiki for enriching the Standard ML Basis Library

Library for Standard ML

Tool for detecting bad style in Standard ML programs

SMackage Build Tool

A Docker image for mlton, the whole program optimizing compiler for Standard ML.