Did I forget SML? Sure, I prefer SML to Java.
-
Updated
May 3, 2019 - Standard ML
#
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 303 public repositories matching this topic...
Scriptable widget for Tasmota Smartmeter reader
ios sml smartmeter volkszaehler scriptable tasmota stromzaehler powermeter sml-reader hichi balkonkraftwerk bitshake
-
Updated
Jun 4, 2024 - JavaScript
An experimental interpreter of a functional programming language inspired by SML
-
Updated
Jun 4, 2021 - Java
The objective of this project is to create an interpreter written in Java, Python and SML for a custom language that is similar to the syntax of Javascript, while implementing a wide range of functionality such as evaluating boolean expressions, conditional and loop statements and function definition and calls.
-
Updated
Aug 10, 2017 - Java
-
Updated
Jan 4, 2021
W5500-EVB-Pico based SML Smart Meter reader for Home Assistant
mqtt smarthome sml smartmeter homeassistant energy-consumption energy-meter obis apator rp2040 w5500-evb-pico
-
Updated
Dec 8, 2023 - C++
Smart Meter SML Logger
-
Updated
Dec 30, 2019 - Python
Object Oriented, Functional and Logic Programming - Standard ML - Prolog - Python - Java - C++ | Programming Languages I at ECE NTUA
-
Updated
Nov 12, 2023 - Jupyter Notebook
関数型プログラミング言語「SML ( Standard ML )」を学習するためのサンプル集
-
Updated
Sep 7, 2018 - Standard ML
A proxy to read the binary SML (Smart Meter Language) stream of smart meters over TCP/IP, and making it available under a JSON REST API
-
Updated
Nov 1, 2024 - Go
A Simple Persistent Graph Implementation in Ocaml
-
Updated
Feb 9, 2026 - OCaml
Modeling types of professional sports/positions.
-
Updated
Jan 23, 2018 - OCaml
A comparative study of programming paradigms featuring implementations in Java, Python, SML, and Prolog.
python functional-programming prolog sml object-oriented programming-paradigms logic-programming comparative-study
-
Updated
Dec 26, 2025 - Java
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 42 followers
- Website
- github.com/topics/standard-ml
- Wikipedia
- Wikipedia