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 21 public repositories matching this topic...
Python library for EDL21 smart meters using Smart Message Language (SML)
-
Updated
Oct 5, 2024 - Python
A replacement for the core edl21 sml integration with configurable scan interval to get a lot more detailed power usage info
-
Updated
Jan 18, 2025 - Python
SML/NJ simple kernel for Jupyter/IPython Notebook
-
Updated
Jun 18, 2017 - Python
🔌 Programming Languages, Abstract Syntax Tree, Functional Programming, Logic Programming, Assembly, Disassembly, Python, Java, JCoCo VM, Standard ML, LISP, Perl, Prolog 🛠️
-
Updated
Jan 13, 2019 - Python
Process Smart Message Language (SML) messages of power smart meters (using an IR sensor and libsml) and send them as MQTT messages.
-
Updated
Nov 23, 2024 - Python
Smart Meter SML Logger
-
Updated
Dec 30, 2019 - Python
MicroPython compatible parser for the SML (Smart Message Language) protocol
-
Updated
Jan 8, 2023 - Python
Statistical Machine Learning is a 3xx-level course offered to undergrads at IIIT-Delhi.
-
Updated
Apr 20, 2025 - Python
A compact language model implementing HybridNorm and Fourier-based attention. Combines CoLA (low-rank projections), FANformer, and hybrid normalization to create an efficient decoder-only transformer. Leverages periodicity modeling and gated residuals to enhance performance while maintaining a small parameter footprint.
-
Updated
Mar 19, 2025 - Python
Combining the different meters of a house installation
-
Updated
Jun 28, 2024 - Python
My Process of Going trough the OSSU curriculum
-
Updated
May 11, 2023 - Python
Lambda calculus reducer
-
Updated
Nov 15, 2021 - Python
Smartmeter Prometheus Exporter using the Smartmeter Message Language (SML)
-
Updated
May 18, 2023 - Python
We will create Machine Learning model using statistics and Linear Algebra
-
Updated
Dec 16, 2021 - Python
Local sml interface for smart meters
-
Updated
Jan 3, 2022 - Python
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 42 followers
- Website
- sml-family.org
- Wikipedia
- Wikipedia