L10 Programming Language
A family of languages with undecidable lexing.
Demonstration of the Basis Prime (report issues via the Basis Prime system).
A vaguely Haskell-inspired basis library/prelude for Standard ML.
The Agda formalization of Constructive Provability Logic, by Robert J. Simmons and Bernardo Toninho.
Functioning: A Game Framework based on SDL for Standard ML
Coin is an interpreter (Cymbol) and top-level loop for the C0 programming language.
A fork of Levy, originally by Bauer and Pretnar. http://andrej.com/plzoo/