The MLton repository
-
Updated
May 23, 2024 - 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.
The MLton repository
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Standard ML Compiler and Toolkit
The MaPLe compiler for efficient and scalable parallel functional programming
A custom parser/auto-formatter for Standard ML
The Standard ML compiler that produces Lua/JavaScript
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Tiger Compiler from Modern Compiler Implementation in ML
SML/NJ simple kernel for Jupyter/IPython Notebook
Assignments of the course COL226: Programming Languages offered in Second Sem 2020-21, IIT Delhi
TiML: A Functional Programming Language with Time Complexity
Manipulate INI files from the command line
Paradigms of Programming Laboratory
company-mode completion back-end for MLton/Standard ML
Generic package manager for Standard ML libraries and programs
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983