CakeML: A Verified Implementation of ML
-
Updated
Jul 23, 2026 - Standard ML
#
sml
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.
Here are 696 public repositories matching this topic...
The MLton repository
-
Updated
Feb 27, 2026 - Standard ML
An Amazon Alexa Skills SDK for .NET
alexa aws-lambda dotnet skills dotnetcore intent sml dotnet-core dotnet-standard dotnet-library alexa-skills-sdk
-
Updated
Jun 11, 2026 - C#
The MaPLe compiler: efficient and scalable parallel functional programming
-
Updated
Apr 14, 2026 - Standard ML
The Online Interpreter for Standard ML, written in TypeScript.
-
Updated
Feb 13, 2026 - TypeScript
Generic package manager for Standard ML libraries and programs
-
Updated
Jun 18, 2026 - Standard ML
Open-source repository for Semantic Modeling Language (SML)
-
Updated
Jun 17, 2026
Implementation in C of the Smart Message Language (SML) protocol
-
Updated
May 14, 2026 - C
TiML: A Functional Programming Language with Time Complexity
-
Updated
Aug 28, 2017 - Standard ML
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 42 followers
- Website
- github.com/topics/standard-ml
- Wikipedia
- Wikipedia