The MLton repository
-
Updated
Oct 23, 2020 - 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 150 public repositories matching this topic...
SML: C++14 State Machine Library
-
Updated
Nov 25, 2020 - 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
Nov 17, 2020 - C#
The Online Interpreter for Standard ML, written in TypeScript.
-
Updated
Nov 20, 2020 - TypeScript
Generic package manager for Standard ML libraries and programs
-
Updated
May 4, 2020 - 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 (D0 / SML) to MQTT gateway
-
Updated
Oct 23, 2020 - C++
Streaming library for bulk memory operations with Standard ML in MLton
-
Updated
Mar 16, 2015 - Standard ML
Implementation in C of the Smart Message Language (SML) protocol
-
Updated
Nov 16, 2020 - C
Metis is 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
Nov 25, 2020 - Java
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
ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such
-
Updated
Nov 15, 2020 - JavaScript
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
Open
Syntax highlighting
lazear
commented
Jul 25, 2020
It would be nice to further improve the TextMate language to have more accurate syntax highlighting.
Down the road, it may be worth looking into semantic highlighting as well
Standard ML autoformatter
-
Updated
Aug 16, 2020 - Standard ML
An attempt at making a PyGame-like library for Moscow ML.
-
Updated
Sep 2, 2020 - C
SML/NJ simple kernel for Jupyter/IPython Notebook
-
Updated
Jun 18, 2017 - Python
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