#

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

volkszaehler / libsml

Implementation in C of the Smart Message Language (SML) protocol

sml smartmeter

Updated Sep 27, 2025
C

marf / xv6-scheduling

scheduler scheduling priority process sml xv6 fcfs lottery default

Updated Mar 25, 2021
C

olliiiver / sml_parser

Low memory C++ library to parse Smart Message Language (SML) data from smart meters.

arduino esp32 sml arduino-library smart-meter smart-meters edl21 obis smart-metering sml-reader tr-03109-1

Updated Nov 21, 2025
C

jtuemmler / sml2emeter

A D0-SML to SMA Energy Meter converter for the ESP8266 and Raspberry Pi

raspberry-pi sml smartmeter esp8266-arduino sma-energy-meter d0

Updated Mar 2, 2025
C

Eckankar / MosGame

An attempt at making a PyGame-like library for Moscow ML.

sdl game-development sml

Updated Sep 2, 2020
C

darth-hp / tasmota-hichi-sml-firmware

Tasmota firmware binary builds with SML support for Hichi Smartmeters

esp8266 sml tasmota esp01 esp01m hichi

Updated Oct 2, 2025
C

AndrewLaing / SimpleTronProject

A project to build a simple compiler and low-level language interpreter for two small, limited instruction languages.

c compiler sml simpletron

Updated Oct 24, 2017
C

Christians-Shop / CTS_tasmota_SML

Custom Tasmota firmware for the WiFi IR Smartmeterinterface (WiFi IR SMI) – optimized for SML infrared smart meters. Developed by Christians Technikshop.

home-automation iot esp8266 esp32 sml smartmeter infrared open-source-hardware tasmota energy-monitoring wifi-ir christians-technikshop

Updated Nov 26, 2025
C

kfl / smlsqlite

smlsqlite is a binding of SQLite for Moscow ML and MLton

sqlite sml standard-ml mosml moscow-ml

Updated Apr 20, 2009
C

KUHLwasStolen / EFR-SGM-C8-smart-interface

Decodes the infrared interface of the EFR-SGM-C8 energy meter and provides an ESP32 webserver with the extracted data from the SML messages.

arduino esp32 sml smart-meter esp-idf

Updated Aug 14, 2025
C

HeyiSun / Ub

My project and algorithm at University at Buffalo

javascript algorithm interpreter data-structure sml interpreters candy-crush pintos

Updated Mar 26, 2018
C

RafNie / BoostSML_Stm32_hello_world

Hello World example of SML on STM32

state-machine stm32 sml

Updated Jul 27, 2022
C

antonmeyer / SML2InfluxDB

sml

Updated Apr 16, 2023
C

BlameTroi / exercisms

Bell book and candle for the fading programmer intellect

python c testing golang scheme emacs-lisp sml exercism exercises

Updated Jan 7, 2025
C

ajcmde / crc

Library/Fragment: CRC

python c esp32 sml crc crc-calculation crc-32 crc-16 crc-8 crc-64 crc-12

Updated Apr 5, 2025
C

CaptainDouche / smlparser

Parses binary files of serial smart meter output data for SML telegrams

esp8266 sml smartmeter

Updated Aug 9, 2023
C

LeoDJ / Zigbee-MeterReader-v2

A ESP32-C6 based Zigbee sensor for getting the values of an SML energy meter

sml smart-meter zigbee energy-meter low-power battery-powered sml-reader energy-metering esp32-c6 esp32c6

Updated Apr 20, 2025
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