#

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 16 public repositories matching this topic...

SMLReader

mruettgers / SMLReader

ESP8266 based smart meter (SML) to MQTT gateway

mqtt arduino esp8266 smarthome esp32 meter sml smart smartmeter obis sml-reader

Updated May 6, 2023
C++

tajemniktv / TajsGraph

Taj's Graphical Overhaul is a graphics enhancing mod for a game Satisfactory.

plugin engine mod sml unreal smm 5 satisfactory ue5 uplugin

Updated Dec 15, 2025
C++

JonatanMGit / SML-Reader

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++

dirkclemens / tasmota

tasmota enhancements for sml energy meter (Zähler Typ eHZ-IW8E2A5L0EK2P) and gas meter (smarthome)

sml tasmota

Updated Nov 3, 2019
C++

oetken / smartmetertomqtt

Smart Meter to MQTT application.

mqtt raspberry-pi debian sml smartmeter libsml-smart-meter mbus-devices mt681 bk-g4-at

Updated Dec 22, 2024
C++

joba-1 / ElectricityMeter

Read "modern" 2-way electricity meter Itron Openway 3HZ via IR and post data to Influx DB

esp8266 sml infrared ir obis itron openway en62056-21 tr-03109-1

Updated Sep 24, 2025
C++

fabianosalles / simpletron

Simpletron Machine Language interpreter.

emulator interpreter sml simpletron simpletron-machine-language

Updated Apr 28, 2019
C++

xythobuz / esp-env

ESP32 / ESP8266 / LoRa32 / CYD & BME280 / SHT2x / CCS811 / SML sensor with InfluxDB and MQTT support

mqtt iot arduino esp8266 influxdb esp32 sml bme280 sht21 ccs811 cyd lora32

Updated Nov 23, 2025
C++

peff74 / MT691_to_InfluxDB

Reads data from Iskra MT691 power meter and writes them to InfluxDB

arduino esp8266 influxdb esp32 grafana sml smartmeter obis mt691

Updated Aug 1, 2024
C++

thocom / Energy_Counter

Read energy values via ESP32

energy esp32 sml tcrt5000

Updated Jan 22, 2023
C++

jimk0099 / Programming-Languages-1

[ECE NTUA] 👅 Programming Languages I - Programming Exercises Solutions (2021-2022)

cpp sml

Updated May 17, 2022
C++

PhilippEil / MeterToMQTT

ESP8266 based meter to MQTT gateway

mqtt esp8266 smarthome energy-monitor sml platformio powermeter sml-reader gas-measurement consumption-meters

Updated Apr 15, 2023
C++

Alex0vSky / SmallImapsNotifier

Notifies about a new letter on the taskbar, works via the IMAPS

state-machine network sml imap-client boost-ext

Updated Nov 8, 2023
C++

c-trinh / CS122-SimpletronSimulator

Simpletron Simulator

sml terminal-based student-project

Updated Jan 24, 2018
C++

irllyliketoast / String-Compression-Problem

This project implements a run-length string compression algorithm across multiple programming paradigms—imperative, functional, and declarative—highlighting how language design shapes problem-solving. It explores both theoretical models (CFGs, NDFSMs) and practical implementations in Python, Java, C++, Prolog, and SML.

python java cpp sml string-manipulation implementation excercise-solution excercise-code

Updated May 17, 2025
C++

Toxe / boost-sml-examples

[Boost].SML Examples

fsm cpp examples sml

Updated Jun 2, 2021
C++

Created by Robin Milner, Mads Tofte, Robert Harper

Released 1983

Followers: 42 followers
Website: github.com/topics/standard-ml
Wikipedia: Wikipedia

Related topics

fsharp language ocaml