CakeML: A Verified Implementation of ML

The MLton repository

Haskell Research Compiler

The Ur/Web programming language

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Standard ML Compiler and Toolkit

Standard ML of New Jersey

MLWorks is a Standard ML compiler and development environment.

Smackage Package Manager for Standard ML

The Twelf Programming Language

SML reference interpreter

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

A small implementation of type inference

A basic library of algorithms and data structures (a la NJlib)

Repository and Wiki for enriching the Standard ML Basis Library

Standard ML compiler based on typed intermediate languages.

MixML prototype interpreter

👨🏻‍🎓 Playground for learning programming languages

Functioning: A Game Framework based on SDL for Standard ML

Javascript backend for Moscow ML