CakeML: A Verified Implementation of ML
-
Updated
May 27, 2025 - 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 284 public repositories matching this topic...
The MLton repository
-
Updated
May 27, 2025 - 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
Jan 31, 2025 - C#
The MaPLe compiler: efficient and scalable parallel functional programming
-
Updated
Mar 23, 2025 - Standard ML
The Online Interpreter for Standard ML, written in TypeScript.
-
Updated
Oct 17, 2023 - TypeScript
Generic package manager for Standard ML libraries and programs
-
Updated
Jan 23, 2025 - Standard ML
Implementation in C of the Smart Message Language (SML) protocol
-
Updated
May 29, 2024 - C
TiML: A Functional Programming Language with Time Complexity
-
Updated
Aug 28, 2017 - Standard ML
Open-source repository for Semantic Modeling Language (SML)
-
Updated
May 28, 2025
@elahe-dastan / @1995parham training and testing repository 📚 🤓
-
Updated
Feb 17, 2025
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 42 followers
- Website
- sml-family.org
- Wikipedia
- Wikipedia