Repository navigation
Standard ML
Created by Robin Milner, Mads Tofte, Robert Harper
发布于 1983
- Website
- sml-family.org
- Wikipedia
- 维基百科
相关主题
F#OCamlStandard 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
An Amazon Alexa Skills SDK for .NET
The MaPLe compiler: efficient and scalable parallel functional programming
ESP8266 based smart meter (SML) to MQTT gateway
Low-level Lisp with compile-time memory management
The Online Interpreter for Standard ML, written in TypeScript.
Generic package manager for Standard ML libraries and programs
Integração das EDP Box com Home Assistant Core
This library is SEMI-SECS-communicate implementation on Java8.
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
MLton with Realtime GC and Threading features
TiML: A Functional Programming Language with Time Complexity
Open-source repository for Semantic Modeling Language (SML)
This package is SEMI-SECS-communicate implementation on Python3.