CakeML: A Verified Implementation of ML
-
Updated
Jun 29, 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.
CakeML: A Verified Implementation of ML
A small general purpose programming language for programming on the JVM. Package manager: https://smllregistry.github.io/
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
Set up a Standard ML environment and add it to the PATH
The MLton repository
Visual Studio Code extension for ML and Standard ML
Unofficial builds of the MLton Standard ML compiler for various architectures
Object Oriented, Functional and Logic Programming - Standard ML - Prolog - Python - Java - C++ | Programming Languages I at ECE NTUA
The Online Interpreter for Standard ML, written in TypeScript.
Standard ML polymorphic and monomorphic hash tables
Standard ML library for generating random numbers
Standard ML package for regular expressions
Generic package manager for Standard ML libraries and programs
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983