frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

dbp/funtal

FunTAL: mixing a functional language with assembly.

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism

camllight/camllight

The Caml Light implementation of the Caml language

dunhamsteve/newt

A toy dependent typed language.