Projects in Awesome Lists tagged with sml
A curated list of projects in awesome lists tagged with sml .
https://github.com/CakeML/cakeml
CakeML: A Verified Implementation of ML
compiler formal-semantics formal-verification hol programming-language sml theorem-proving
Last synced: 12 Apr 2025
https://github.com/MLton/mlton
The MLton repository
compiler functional-programming mlton sml standard-ml
Last synced: 26 Mar 2025
https://github.com/timheuer/alexa-skills-dotnet
An Amazon Alexa Skills SDK for .NET
alexa alexa-skills-sdk aws-lambda dotnet dotnet-core dotnet-library dotnet-standard dotnetcore intent skills sml
Last synced: 14 May 2025
https://github.com/eudoxia0/interim
Low-level Lisp with compile-time memory management
Last synced: 20 Jan 2026
https://github.com/SOSML/SOSML
The Online Interpreter for Standard ML, written in TypeScript.
Last synced: 11 Aug 2025
https://github.com/diku-dk/smlpkg
Generic package manager for Standard ML libraries and programs
Last synced: 02 Sep 2025
https://github.com/sunchao/tiger
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
Last synced: 11 Feb 2026
https://github.com/mit-plv/timl
TiML: A Functional Programming Language with Time Complexity
functional-programming mlton sml standard-ml time-complexity
Last synced: 25 Feb 2025
https://github.com/semanticdatalayer/sml
Open-source repository for Semantic Modeling Language (SML)
analytics business-intelligence modeling semantic-layer sml yaml
Last synced: 10 Apr 2025
https://github.com/phax/peppol-commons
Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client, MLR handler, MLS handler
mls openpeppol peppol peppol-bis peppol-dev peppol-sml-client peppol-smp sbdh service-metadata-locator service-metadata-publisher sml sml-client smp smp-client ubl
Last synced: 29 Apr 2026
https://github.com/apollon77/iobroker.smartmeter
ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such
d0-protocol iobroker iobroker-adapter serial smartmeter smartmeter-library sml
Last synced: 15 Mar 2025
https://github.com/biboudis/sml-streams
Streaming library for bulk memory operations with Standard ML in MLton
Last synced: 08 Feb 2026
https://github.com/tsrivishnu/alexa-rails
Make your Rails app serve Amazon Alexa skill requests
alexa alexa-gem amazon-alexa gem rails rails-engine ruby ruby-on-rails rubygem rubyonrails slot-elicitation sml
Last synced: 06 Oct 2025
https://github.com/hexaredecimal/ml
A small general purpose programming language for programming on the JVM. Package manager: https://smllregistry.github.io/
Last synced: 10 Apr 2025
https://github.com/eckankar/mosgame
An attempt at making a PyGame-like library for Moscow ML.
Last synced: 10 Jul 2025
https://github.com/giannisdaras/ntua-lambda
This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.
algorithms databases ntua prolog sml
Last synced: 05 Apr 2025
https://github.com/matsubara0507/simple-ismlnj
SML/NJ simple kernel for Jupyter/IPython Notebook
dockerfile jupyter-kernels sml standard-ml
Last synced: 11 Jun 2025
https://github.com/jaimeloeuf/ss
SimpleScript, A Simpler Programming Language (WIP)
fsharp functional-language hindley-milner interpreter javascript jvm language language-experiment language-spec llvm ocaml programming-language rust scripting-language simplescript sml typescript wysiwyg
Last synced: 04 May 2025
https://github.com/diku-dk/sml-regexp
Standard ML package for regular expressions
regular-expressions sml smlpkg standard-ml
Last synced: 11 Feb 2026
https://github.com/JonnyKong/Coursera-ProgrammingLanguagesUW
Coursera: Programming Languages, Univ. of Washington
functional-programming programming-language-theory racket ruby sml
Last synced: 26 Mar 2025
https://github.com/omarjatoi/zed-sml
Standard ML language support extension for the Zed text editor.
sml standard-ml zed zed-editor zed-extension
Last synced: 23 Jan 2026
https://github.com/in-fun/mi
An experimental compiler for the sml language
compiler experimental functional-languages language ml sml
Last synced: 04 Feb 2026
https://github.com/heubeck/samler
SaMLer - Smart Meter data collector at the edge
Last synced: 12 Apr 2026
https://github.com/dirkclemens/tasmota
tasmota enhancements for sml energy meter (Zähler Typ eHZ-IW8E2A5L0EK2P) and gas meter (smarthome)
Last synced: 02 Sep 2025
https://github.com/diku-dk/sml-random
Standard ML library for generating random numbers
Last synced: 06 Jan 2026
https://github.com/jez/smlnj-viscomp-example
An example of how to use SML/NJ's Visible Compiler APIs
Last synced: 12 Dec 2025
https://github.com/jensstockhausen/smlparserlight
MicroPython compatible parser for the SML (Smart Message Language) protocol
Last synced: 25 Feb 2026
https://github.com/darinm223/smlgen
Code generator for Standard ML
code-generator compare deriving generics hash show sml standard-ml
Last synced: 25 Jan 2026
https://github.com/kfl/smlsqlite
smlsqlite is a binding of SQLite for Moscow ML and MLton
moscow-ml mosml sml sqlite standard-ml
Last synced: 17 May 2026
https://github.com/HeyiSun/Ub
My project and algorithm at University at Buffalo
algorithm candy-crush data-structure interpreter interpreters javascript pintos sml
Last synced: 11 May 2025
https://github.com/eudoxia0/l0
Linear Lisp
linear-types lisp sml standard-ml
Last synced: 16 Oct 2025
https://github.com/diku-dk/sml-hashtable
Standard ML polymorphic and monomorphic hash tables
Last synced: 24 Feb 2026
https://github.com/smile040501/popl-sem5
Paradigms of Programming Laboratory
expression-evaluator lambda-calculus paradigms-of-programming sml standard-ml standard-ml-exercises
Last synced: 23 Feb 2026
https://github.com/alexandroskyriakakis/programming_languages_2020
Exercises for course Programming Languages I 2020 at Ece-Ntua university!
competitive-programming cpp ece-ntua java ntua prolog python sml smlnj
Last synced: 07 May 2026
https://github.com/vasilescur/ambush
Compiler for Tiger language, written in Standard ML for Duke ECE/CS 553: Compiler Construction. The compiler follows the standard flow of lexing, parsing, semantic analysis and type checking, intermediate representation, liveness analysis, and code generation.
compiler-construction compilers lexer parser sml tiger-language
Last synced: 19 Mar 2026
https://github.com/projectsavanna/numbers
Numbers in Standard ML
hacktoberfest infinite-precision naturals numbers numerical numerical-methods rationals sml smlnj standard-ml unit-interval
Last synced: 01 Mar 2026
https://github.com/peff74/mt691_to_influxdb
Reads data from Iskra MT691 power meter and writes them to InfluxDB
arduino esp32 esp8266 grafana influxdb mt691 obis smartmeter sml
Last synced: 16 Feb 2026
https://github.com/robertoschwald/homebridge-obis-powermeter
Homebridge plugin to read OBIS SmartMeter data
homebridge homekit infrared-decoder infrared-reader obis serial-communication smartmeter sml
Last synced: 25 Aug 2025
https://github.com/sahilbansal17/csl226-assignments
This contains the assignments completed in the Programming Languages course in 4th Semester (2018 Jan - May) at IIT Jammu.
lexical-analysis parser-generator sml smlnj
Last synced: 19 Mar 2026
https://github.com/tensor-fusion/coquand-sml
A bidirectional dependent type checker in Standard ML
dependent-types sml type-checker
Last synced: 16 Feb 2026
https://github.com/annekroon/dictionaries-vs-sml
Repo of different approaches to classify topics in political and media content
dictionary embeddings frames sml topics
Last synced: 31 Oct 2025
https://github.com/codepeters/pl1
Solutions to Programming Languages 1 course, NTUA 2015-2016
c java programming-languages prolog sml smlnj
Last synced: 16 May 2026
https://github.com/mendel5/smart-meter-protocol
Information about smart meters and the protocol they use to transmit information
electric electricity energy obis protocol smart-meter smart-meter-language smart-meters sml
Last synced: 03 Mar 2026
https://github.com/pkwagner/smartmeter2mqtt
MQTT adapter for smart meters communicating via D0 / SML
d0 d0-interface d0-protocol mqtt smart-meter smart-metering smartmeter sml
Last synced: 20 Mar 2025
https://github.com/cacilhas/tree
tree datatype according to http://homepages.inf.ed.ac.uk/stg/NOTES/node62.html
exercise mlton smackage sml standard-ml tree-structure tutorial
Last synced: 11 Oct 2025
https://github.com/kuhlwasstolen/efr-sgm-c8-smart-interface
Decodes the infrared interface of EFR-SGM-C8 energy meter and provides an ESP32 webserver with the extracted data.
arduino esp-idf esp32 smart-meter sml
Last synced: 07 May 2026
https://github.com/jack994/lambdacalculus_in_sml
functional-programming lambda-calculus sml
Last synced: 27 Jan 2026
https://github.com/hauntedhost/math-intersection-programming
Tinkering with posts at Math ∩ Programming
Last synced: 09 Feb 2026
https://github.com/icepanorama/learning-sml
A collection of small programs written as I'm refamiliarizing myself with Standard ML.
functional-programming sml standard-ml
Last synced: 18 Mar 2026
https://github.com/sfudeus/powermeter_exporter
Prometheus exporter for powermeter readings with the SML protocol
prometheus-exporter smartmeter sml
Last synced: 10 Feb 2026
https://github.com/raibisch/esp32_dynecalc
ESP32 project: calculate actual dynamic (german) enduser price including all fix costs and taxes based on EPEX day-ahead prices
day-ahead-market day-ahead-pricing dynamic-electricity-price electric-energy electric-energy-measuring energy-monitor epex-spot esp32 home-automation sml
Last synced: 02 Apr 2025
https://github.com/skywardai/.github
Our vision and target
ai api deep-learning kubernets llm localai neural-network nlp-machine-learning rag self-hosted sml
Last synced: 26 Feb 2025
https://github.com/kodekote/sml_exemplars
Standard ML functions that are of interest
computer-science educational functional-programming ml sml
Last synced: 15 Mar 2026
https://github.com/wanjinyoo/sml
Functional programinng
currying functional-programming sml
Last synced: 09 Mar 2026
https://github.com/rhinodevel/crc16calc
A CRC-16 calculator available in JavaScript and C.
crc crc16 crc16ccitt smart-meter sml
Last synced: 01 Apr 2026
https://github.com/kfl/simple-ad
SML Implementation of Automatic Differentiation
automatic-differentiation sml symbolic-differentiation symbolic-manipulation
Last synced: 03 Feb 2026
https://github.com/axhixh/monkey
Standard ML implementation of interpreter and compiler for Monkey language
compiler interpreter monkey monkey-lang monkey-language monkey-programming-language mosml sml standardml
Last synced: 17 Jan 2026
https://github.com/mweinelt/sml-exporter
Smartmeter Prometheus Exporter using the Smartmeter Message Language (SML)
d0 hacktoberfest obis prometheus-exporter smarthome smartmeter sml
Last synced: 03 Nov 2025
https://github.com/stepankuzmin/coursera-programming-languages
Coursera Programming Languages Course
Last synced: 06 Jan 2026
https://github.com/miozilla/classicsml
classicsml :cloud_with_lightning_and_rain::arrows_counterclockwise::chart_with_downwards_trend: : Classsic Supervised ML # Cost Function # Gradient Descent
azureml-py38 custom-linear-regressor learning-rates mse ols optimizer sad sml ssd statsmodels step-size temperature weather
Last synced: 14 Sep 2025
https://github.com/cacilhas/pipelines
Function Pipelines support for SML
pipeline smackage sml standard-ml
Last synced: 01 Jan 2026
https://github.com/boomer41/sml-to-http-proxy
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
openhab proxy smart-home smart-message-language smartmeter sml
Last synced: 17 Jan 2026
https://github.com/dhil/stratagem
STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
continuations game-semantics sml
Last synced: 18 Jan 2026
