luqui/vatican

A lazy specializing virtual machine for purely functional languages

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

Write yourself a typed functional language

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

dunhamsteve/newt

A toy dependent typed language.

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

dbp/funtal

FunTAL: mixing a functional language with assembly.

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

pointless-lang/pointless

Pointless: a scripting language for learning and fun