Stars
Standard ML
13 repositories
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
Generic package manager for Standard ML libraries and programs
A custom parser/auto-formatter for Standard ML
Standard ML package for regular expressions
The Standard ML compiler that produces Lua/JavaScript
A command-line parser for Standard ML