Standard ML
Standard ML (SML; “Standard Meta Language”) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
- GitHub: https://github.com/topics/standard-ml
- Wikipedia: https://en.wikipedia.org/wiki/Standard_ML
- Created by: Robin Milner, Mads Tofte, Robert Harper
- Released: 1983
- Related Topics: language, fsharp, ocaml,
- Aliases: sml,
- Last updated: 2026-03-12 00:26:06 UTC
- JSON Representation
https://github.com/MLton/mlton
The MLton repository
compiler functional-programming mlton sml standard-ml
Last synced: 26 Mar 2025
https://github.com/minoki/LunarML
The Standard ML compiler that produces Lua/JavaScript
Last synced: 21 Nov 2025
https://github.com/KeenS/webml
A Standard ML Compiler for the Web
compiler rust standard-ml webassembly
Last synced: 07 May 2025
https://github.com/keens/webml
A Standard ML Compiler for the Web
compiler rust standard-ml webassembly
Last synced: 07 Apr 2025
https://github.com/minoki/lunarml
The Standard ML compiler that produces Lua/JavaScript
Last synced: 09 Apr 2025
https://github.com/kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
compiler programming-language standard-ml
Last synced: 09 Feb 2026
https://github.com/melsman/mlkit
Standard ML Compiler and Toolkit
compiler functional-programming regions standard-ml
Last synced: 16 Jan 2026
https://github.com/azdavis/millet
A language server for Standard ML in Rust.
language-server rust standard-ml vscode
Last synced: 16 May 2025
https://github.com/diku-dk/smlpkg
Generic package manager for Standard ML libraries and programs
Last synced: 02 Sep 2025
https://github.com/shwestrick/smlfmt
A custom parser/auto-formatter for Standard ML
autoformat formatter parser standard-ml
Last synced: 21 Oct 2025
https://github.com/mit-plv/timl
TiML: A Functional Programming Language with Time Complexity
functional-programming mlton sml standard-ml time-complexity
Last synced: 25 Feb 2025
https://github.com/dbohdan/initool
Manipulate INI files from the command line
cli configuration-file ini standard-ml
Last synced: 27 Jan 2026
https://github.com/saityi/a-tour-of-standard-ml
A Tour of Standard ML (in the style of A Tour of Go)
Last synced: 12 Feb 2026
https://github.com/prikhi/modern-compiler-implementation-ml
Tiger Compiler from Modern Compiler Implementation in ML
book-exercises standard-ml tiger tiger-compiler tiger-language
Last synced: 06 Mar 2026
https://github.com/kavon/sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
ide language-server-protocol standard-ml
Last synced: 17 Jan 2026
https://github.com/siraben/eopl
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Last synced: 06 May 2025
https://github.com/doct0rX/ProgrammingLanguages
Programming Languages (University of Washington)
programming-languages racket ruby standard-ml
Last synced: 26 Mar 2025
https://github.com/matsubara0507/simple-ismlnj
SML/NJ simple kernel for Jupyter/IPython Notebook
dockerfile jupyter-kernels sml standard-ml
Last synced: 11 Jun 2025
https://github.com/emanuelenardi/latex-sml
Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento.
exams functional-programming latex latex-document standard-ml university-course
Last synced: 02 Oct 2025
https://github.com/diku-dk/futhark-server-sml
Implementation of the Futhark server protocol in Standard ML
Last synced: 06 Jan 2026
https://github.com/diku-dk/sml-regexp
Standard ML package for regular expressions
regular-expressions sml smlpkg standard-ml
Last synced: 11 Feb 2026
https://github.com/iraikov/tensor
Standard ML tensor/multidimensional array library
linear-algebra matrix-library mlton sparse-matrix standard-ml tensor
Last synced: 06 Jan 2026
https://github.com/omarjatoi/zed-sml
Standard ML language support extension for the Zed text editor.
sml standard-ml zed zed-editor zed-extension
Last synced: 23 Jan 2026
https://github.com/azdavis/sml-libs-scraper
Scraper for online SML libraries
Last synced: 25 Jul 2025
https://github.com/diku-dk/sml-random
Standard ML library for generating random numbers
Last synced: 06 Jan 2026
https://github.com/michaelsproul/pizzaml
Hopefully a Rust-like syntax for ML
compiler rust standard-ml transpiler
Last synced: 23 Mar 2025
https://github.com/eudoxia0/l0
Linear Lisp
linear-types lisp sml standard-ml
Last synced: 16 Oct 2025
https://github.com/darinm223/smlgen
Code generator for Standard ML
code-generator compare deriving generics hash show sml standard-ml
Last synced: 25 Jan 2026
https://github.com/kfl/smlsqlite
smlsqlite is a binding of SQLite for Moscow ML and MLton
moscow-ml mosml sml sqlite standard-ml
Last synced: 21 Aug 2025
https://github.com/diku-dk/sml-hashtable
Standard ML polymorphic and monomorphic hash tables
Last synced: 24 Feb 2026
https://github.com/polytypic/sml-optics
Proof of concept optics library for Standard ML
functional-programming isomorphisms lenses optics prisms standard-ml traversals
Last synced: 01 Mar 2026
https://github.com/diku-dk/futhark-data-sml
Implementation of the binary Futhark data format in SML
Last synced: 06 Jan 2026
https://github.com/saityi/felis
(⚠️ Work in Progress ⚠️) Category theoretic abstractions and implementations
category-theory functional-programming standard-ml
Last synced: 06 Feb 2026
https://github.com/smile040501/popl-sem5
Paradigms of Programming Laboratory
expression-evaluator lambda-calculus paradigms-of-programming sml standard-ml standard-ml-exercises
Last synced: 23 Feb 2026
https://github.com/projectsavanna/numbers
Numbers in Standard ML
hacktoberfest infinite-precision naturals numbers numerical numerical-methods rationals sml smlnj standard-ml unit-interval
Last synced: 01 Mar 2026
https://github.com/iraikov/kdtree
KD tree implementation in Standard ML / MLton
kd-tree kdtree mlton spatial-index standard-ml
Last synced: 08 Feb 2026
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 05 Mar 2026
https://github.com/iraikov/rklib
Runge-Kutta methods in Standard ML
adaptive-solvers error-estimators runge-kutta runge-kutta-adaptive-step-size runge-kutta-methods standard-ml
Last synced: 06 Jan 2026
https://github.com/cacilhas/tree
tree datatype according to http://homepages.inf.ed.ac.uk/stg/NOTES/node62.html
exercise mlton smackage sml standard-ml tree-structure tutorial
Last synced: 11 Oct 2025
https://github.com/isaac-defrain/programminglanguages
Follows the Programming Languages course taught by Dan Grossman at the University of Washington.
notes progamming-language standard-ml
Last synced: 15 Feb 2026
https://github.com/icepanorama/learning-sml
A collection of small programs written as I'm refamiliarizing myself with Standard ML.
functional-programming sml standard-ml
Last synced: 18 Mar 2026
https://github.com/stepankuzmin/coursera-programming-languages
Coursera Programming Languages Course
Last synced: 06 Jan 2026
https://github.com/xie-dongping/sml_rules
Bazel SML rules provide the necessary rules to build and test SML (Standard ML) applications using Bazel.
bazel bazel-rules build-tool purely-functional-data-structures standard-ml starlark
Last synced: 21 Nov 2025
https://github.com/sanghviharshit/config-parser-sml
Class Project - Implementation of a configuration parser using Standard ML of NJ (SML).
configuration-parser functional-programming standard-ml
Last synced: 25 Jan 2026
https://github.com/iraikov/mpi-mlton
MPI bindings for Standard ML / MLton
distributed-computing mlton mpi mpi-bindings standard-ml
Last synced: 19 Mar 2026
https://github.com/cacilhas/pipelines
Function Pipelines support for SML
pipeline smackage sml standard-ml
Last synced: 01 Jan 2026
https://github.com/mikhailazaryan/notes-of-pure-fun
Notes I take while reading "Purely Functional Data Structures" by C. Okasaki
data-structures functional-programming standard-ml
Last synced: 12 Jan 2026
