Standard ML

CakeML is neat.

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.
• I'm ready: Let the 100 year programs begin (Lobsters)
• Lexer and parser generators for Standard ML, OCaml, and Haskell
• Standard ML Family (HN)
• What was wrong with SML? (2022)
• Smackage - Package manager for Standard ML libraries.
• Awesome Standard ML
• Exercism Standard ML Track
• Standard ML Grammar for Tree-sitter