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 264 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
Jun 10, 2024 - Standard ML
CakeML: A Verified Implementation of ML
-
Updated
Jun 11, 2024 - Standard ML
The MaPLe compiler for efficient and scalable parallel functional programming
-
Updated
Jun 7, 2024 - Standard ML
Scriptable widget for Tasmota Smartmeter reader
-
Updated
Jun 4, 2024 - JavaScript
Set up a Standard ML environment and add it to the PATH
-
Updated
Jun 2, 2024 - JavaScript
A small general purpose programming language for programming on the JVM. Package manager: https://smllregistry.github.io/
-
Updated
Jun 1, 2024 - Rust
Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
-
Updated
Jun 1, 2024 - Standard ML
C++14 State Machine library
-
Updated
May 30, 2024 - C++
Implementation in C of the Smart Message Language (SML) protocol
-
Updated
May 29, 2024 - C
Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client
-
Updated
May 24, 2024 - Java
The MLton repository
-
Updated
May 23, 2024 - Standard ML
Smart Meter to MQTT application.
-
Updated
May 23, 2024 - C++
Prometheus exporter for powermeter readings with the SML protocol
-
Updated
May 18, 2024 - Go
Reviewing some online CS courses I took
-
Updated
May 12, 2024 - JavaScript
Visual Studio Code extension for ML and Standard ML
-
Updated
May 10, 2024 - JavaScript
-
Updated
Jun 1, 2024 - JavaScript
Information about smart meters and the protocol they use to transmit information
-
Updated
May 6, 2024
An Amazon Alexa Skills SDK for .NET
-
Updated
Apr 29, 2024 - C#
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 39 followers
- Website
- sml-family.org
- Wikipedia
- Wikipedia