The MLton repository
-
Updated
Mar 23, 2021 - 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 163 public repositories matching this topic...
SML: C++14 State Machine Library
-
Updated
Feb 27, 2021 - C++
An Amazon Alexa Skills SDK for .NET
alexa
aws-lambda
dotnet
skills
dotnetcore
intent
sml
dotnet-core
dotnet-standard
dotnet-library
alexa-skills-sdk
-
Updated
Jan 5, 2021 - C#
The Online Interpreter for Standard ML, written in TypeScript.
-
Updated
Apr 12, 2021 - TypeScript
Generic package manager for Standard ML libraries and programs
-
Updated
Mar 21, 2021 - Standard ML
TiML: A Functional Programming Language with Time Complexity
-
Updated
Aug 28, 2017 - Standard ML
jpombas
commented
Jul 23, 2020
Boa tarde Tiago,
Peço desculpa abrir Issue, mas foi a forma que arranjei para contactar. Segui o teu readMe passo a passo, está bastante completo ;)
No entanto os valores aparecem todos a zero... Existe forma de fazer debug para saber se o Wemos D1 e a EDP Box estão a comunicar?
Tenho a confirmação que a porta Han está ativa, o cabo está devidamente colocado pela EDP. O conversor ttl rs485 pis
ESP8266 based smart meter (SML) to MQTT gateway
-
Updated
Mar 12, 2021 - C++
Implementation in C of the Smart Message Language (SML) protocol
-
Updated
Mar 29, 2021 - C
Streaming library for bulk memory operations with Standard ML in MLton
-
Updated
Mar 16, 2015 - Standard ML
An automatic theorem prover for first order logic with equality
-
Updated
Jul 14, 2020 - Standard ML
Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client
peppol
sbdh
sml
smp
ubl
openpeppol
service-metadata-publisher
peppol-bis
service-metadata-locator
smp-client
sml-client
peppol-smp
peppol-sml-client
-
Updated
Mar 26, 2021 - Java
ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such
-
Updated
Apr 12, 2021 - JavaScript
Make your Rails app serve Amazon Alexa skill requests
ruby
rails
alexa
rubygem
gem
rails-engine
sml
rubyonrails
ruby-on-rails
amazon-alexa
slot-elicitation
alexa-gem
-
Updated
Jul 24, 2018 - Ruby
Standard ML autoformatter
-
Updated
Aug 16, 2020 - Standard ML
The opentheory tool processes higher order logic theory packages
-
Updated
Mar 11, 2020 - Standard ML
This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.
-
Updated
Feb 12, 2019 - HTML
SML/NJ simple kernel for Jupyter/IPython Notebook
-
Updated
Jun 18, 2017 - Python
Repository contenente alcuni esami con soluzione proposti durante lo sbarramento dell'esame di Linguaggi di programmazione modulo 2 (prof. Kuper).
-
Updated
Feb 4, 2021 - Standard ML
An attempt at making a PyGame-like library for Moscow ML.
-
Updated
Sep 2, 2020 - C
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Website
- sml-family.org
- Wikipedia
- Wikipedia
Deflate is a lossless data compression file format that zip and gzip are based on.
The deflate algorithm would be a nice formalisation and verification exercise in HOL. The result of the formalisation effort could be used to con