MLWorks is a Standard ML compiler and development environment. - View it on GitHub