dunhamsteve/newt

A toy dependent typed language.

luqui/vatican

A lazy specializing virtual machine for purely functional languages

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

dbp/funtal

FunTAL: mixing a functional language with assembly.

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

camllight/camllight

The Caml Light implementation of the Caml language

ityonemo/mavis

opinionated typing library for elixir

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism