Poly/ML: Open-Source Standard ML Compiler and Runtime

Poly/ML is an open-source implementation of the Standard ML language. The project offers both a compiler and an interactive runtime

Poly/ML is an open-source implementation of the Standard ML language. The project offers both a compiler and an interactive runtime environment. It is maintained as a public repository on GitHub. The code supports the full Standard ML language specification. Users can build the system from source using provided scripts. The repository includes documentation and test suites. Poly/ML is used in research and education for functional programming. Contributions are welcomed from the community via pull requests.