C++14 State Machine library
-
Updated
May 30, 2024 - C++
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.
C++14 State Machine library
The MLton repository
CakeML: A Verified Implementation of ML
An Amazon Alexa Skills SDK for .NET
The MaPLe compiler for efficient and scalable parallel functional programming
Reviewing some online CS courses I took
The Online Interpreter for Standard ML, written in TypeScript.
Generic package manager for Standard ML libraries and programs
Implementation in C of the Smart Message Language (SML) protocol
TiML: A Functional Programming Language with Time Complexity
@elahe-dastan / @1995parham training and testing repository 📚 🤓
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983