Standard ML

Links
​SOSML - Interpreter for Standard ML written in TypeScript. (Reddit)
​MLton - Whole-program optimizing compiler for the Standard ML programming language.
​ML for the Working Programmer, 2nd Edition book (1996)​
​WebML - Standard ML compiler for the Web.
​Ponyo - Comprehensive high-level library and toolkit for Standard ML.
​Tour of Standard ML (HN) (Code)
​Unix System Programming with Standard ML (HN)
​smlpkg - Generic package manager for Standard ML libraries and programs.
​Compiling Pattern Guards - Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards".
​The History of Standard ML (2020) (Lobsters) (Talk) (HN)
​Standard ML in 2020 (HN)
​Morel - Standard ML interpreter, with relational extensions, implemented in Java.
​Successor ML - Effort to evolve the Standard ML language while keeping true to its clean and elegant design.
​Standard ML Basis Library​
​Moscow ML - Light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
​Poly/ML - Standard ML implementation originally written in an experimental language called Poly. (Web)
​parse-sml - Custom parser for Standard ML.
​CakeML - Verified implementation of a significant subset of Standard ML. (Web)
​Compiler for Standard ML in Rust (HN)
​Higher Standard - Higher kinded polymorphism in Standard ML.
​LunarML - Standard ML compiler that produces Lua.
​Getting started with Standard ML​
​sml-server - Web server infrastructure for Standard ML.
​sml-parseq - Standard ML library for parallel sequences.
​MPL - MaPLe compiler for Parallel ML.
Smalltalk
Unison
Last modified 1mo ago
Copy link