Programming Languages Zoo

Parser Combinators of Monad

99 Problems in OCaml

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Proof assistant based on the λΠ-calculus modulo rewriting

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Implementation of the languages from the EOPL textbook in Haskell and Standard ML.

Tiger Compiler from Modern Compiler Implementation in ML

An experimental language server for SomewhatML

an SML language server that uses SML/NJ's "visible compiler" feature

A custom parser/auto-formatter for Standard ML

A Tour of Standard ML (in the style of A Tour of Go)

A compiler for Standard ML, somewhat

The MaPLe compiler: efficient and scalable parallel functional programming

The Standard ML compiler that produces Lua/JavaScript

A language server for Standard ML in Rust.

A Standard ML Compiler for the Web

Repository and Wiki for enriching the Standard ML Basis Library

An SML parser and style-checker built on the SML-NJ compiler

SML Unicode Library

Generic package manager for Standard ML libraries and programs

Package repositories maintained by SML# project

The MLtonLibrary repository

MLLex for Poly/ML

MLYacc for Poly/ML

Re-ported smlnj-lib for Poly/ML

Supplemental materials for the book entitled "Practical ML Programming with SML#"

Windows graphics library for Poly/ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.