CakeML: A Verified Implementation of ML

The MLton repository

The Ur/Web programming language

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

Solutions to Modern Compiler Implementation in ML 🐯

An implementation of Botworld in Higher Order Logic

Haskell and SML implementations of a simple calculator language. Homework 6 for CMSC 22300, Functional Programming.

Regression testing infrastructure for CakeML

Solutions to Modern Compiler Implementation in ML 🐯

Standard meta language