johnwhitington/ocamli

OCaml interpreter

camllight/camllight

The Caml Light implementation of the Caml language

luqui/vatican

A lazy specializing virtual machine for purely functional languages

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

Write yourself a typed functional language

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

FrozenWinters/stlc

This aims to be the most pretentious implementation of stlc in existence

jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting