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 263 public repositories matching this topic...
CakeML: A Verified Implementation of ML
-
Updated
Jul 27, 2024 - Standard ML
The MLton repository
-
Updated
May 23, 2024 - Standard ML
An Amazon Alexa Skills SDK for .NET
-
Updated
Apr 29, 2024 - C#
The MaPLe compiler for efficient and scalable parallel functional programming
-
Updated
Jul 24, 2024 - 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
Sep 21, 2023 - 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
@elahe-dastan / @1995parham training and testing repository 📚 🤓
-
Updated
Dec 15, 2022
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 40 followers
- Website
- sml-family.org
- Wikipedia
- Wikipedia