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

Write yourself a typed functional language

dunhamsteve/newt

A toy dependent typed language.

ollef/Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking…

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

isovector/thinking-with-types

📖 source material for Thinking with Types

jonsterling/dreamtt

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

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting