CakeML: A Verified Implementation of ML

The MLton repository

An Amazon Alexa Skills SDK for .NET

The MaPLe compiler: efficient and scalable parallel functional programming

ESP8266 based smart meter (SML) to MQTT gateway

Low-level Lisp with compile-time memory management

Standard ML of New Jersey

The Online Interpreter for Standard ML, written in TypeScript.

Integração das EDP Box com Home Assistant Core

Generic package manager for Standard ML libraries and programs

This library is SEMI-SECS-communicate implementation on Java8.

Open-source repository for Semantic Modeling Language (SML)

:tada: Enjoy writing SML within Vim

Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel

MLton with Realtime GC and Threading features

TiML: A Functional Programming Language with Time Complexity

Parallel ML compiler

@elahe-dastan / @1995parham training and testing repository :books: :nerd_face:

No description provided.

This package is SEMI-SECS-communicate implementation on Python3.

This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

Java library with shared Peppol components - identifier handling, codelists, SBDH handler, SMP Client, SML Client, MLR handler, MLS handler

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

This is SEMI SECS-Simulator Java application

ioBroker-Adapter to read out Smart-Meter using protocols like SML, D0 and such

Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).

An automatic theorem prover for first order logic with equality

Streaming library for bulk memory operations with Standard ML in MLton

An experimental language server for SomewhatML

Tasmota SML Parser