GitHub repository: polyml/polyml
Primary language: Standard ML
Description: Poly/ML