JDemler/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

polytypic/f-omega-mu

Fωμ type checker and compiler

jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting

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

Write yourself a typed functional language

wh5a/Algorithm-W-Step-By-Step

Classic Algorithm W for type inference.

isovector/thinking-with-types

📖 source material for Thinking with Types

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism

boomerang-lang/boomerang

The Boomerang Bidirectional Programming Language