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.
Here are 124 public repositories matching this topic...
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
-
Updated
Sep 21, 2024 - Standard ML
The MaPLe compiler for efficient and scalable parallel functional programming
-
Updated
Sep 20, 2024 - Standard ML
A language server for Standard ML.
-
Updated
Sep 20, 2024 - Rust
Manipulate INI files from the command line
-
Updated
Sep 19, 2024 - Standard ML
Annotations and commentary on the 1997 Definition of Standard ML
-
Updated
Sep 19, 2024 - TeX
Standard ML Compiler and Toolkit
-
Updated
Sep 17, 2024 - Standard ML
-
Updated
Sep 2, 2024 - JavaScript
Set up a Standard ML environment and add it to the PATH
-
Updated
Sep 2, 2024 - JavaScript
Standard ML language support extension for the Zed text editor.
-
Updated
Aug 31, 2024 - Rust
The Standard ML compiler that produces Lua/JavaScript
-
Updated
Sep 18, 2024 - Standard ML
The MLton repository
-
Updated
Aug 9, 2024 - Standard ML
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
-
Updated
Jan 26, 2024 - Standard ML
Annotate EPUB books with furigana
-
Updated
Jan 22, 2024 - Standard ML
Notes I take while reading "Purely Functional Data Structures" by C. Okasaki
-
Updated
Dec 21, 2023
A custom parser/auto-formatter for Standard ML
-
Updated
Dec 17, 2023 - Standard ML
Unofficial builds of the MLton Standard ML compiler for various architectures
-
Updated
Nov 23, 2023
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 41 followers
- Website
- sml-family.org
- Wikipedia
- Wikipedia