| title |
|---|
Standard ML |
CakeML is neat.
- 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
- Millet - Language server for SML. (Lobsters)
- Standard ML AST, based on recursion schemes
- Millet - Language server for Standard ML.
- Memories: Edinburgh ML to Standard ML (2022) (Lobsters)