Poly/ML – a Standard ML programming language implementation

Poly/ML is an open-source implementation of the Standard ML programming language, hosted on GitHub. Standard ML is a statically typed functional programming language widely used in academic and research settings. The project is actively maintained and available under an open-source licence.