[Request]: Poly/ML

[tie-ling]

Prerequisites

• I have searched all issues/PRs to ensure it has not already been reported or fixed.

Criteria

• Reasonably well-known and widely used (e.g. if it's a GitHub project, it should have at least 100 stars and/or 50 forks)
• English interface (or at least English documentation)
• Latest stable version
• Full version (i.e. not a trial version)
• Fairly standard install (e.g. uses a version-specific download URL, no elaborate pre/post install scripts)

Name

polyml

Description

A implementation of the Standard ML language

Homepage

https://github.com/polyml/polyml

Download Link(s)

https://github.com/polyml/polyml/releases

Some Indication of Popularity/Repute

more than 500 starts, development since the 1980s, listed at https://smlfamily.github.io/