Standard ML topic
Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
Functional-Programming-Interpreter
initool
Manipulate INI files from the command line
mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
mlton
The MLton repository
webml
A Standard ML Compiler for the Web
mlkit
Standard ML Compiler and Toolkit
sml-compiler
A compiler for Standard ML, somewhat