jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

jonsterling/dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

dbp/funtal

FunTAL: mixing a functional language with assembly.

ityonemo/mavis

opinionated typing library for elixir

camllight/camllight

The Caml Light implementation of the Caml language