The Standard ML Language Family's repositories
Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
The-Definition-of-Standard-ML
The Definition of Standard ML (1990)
The-Definition-of-Standard-ML-Revised
The Definition of Standard ML, Revised (1997)
SML-The-Living-Language
SML, The Living Language (aka, Successor ML)
The-Mechanization-of-Standard-ML
The Mechanization of Standard ML
BasisLibrary
Repository and Wiki for enriching the Standard ML Basis Library
SMLFamily.github.io
Web site for standardml.org.