Link: Typechecker Zoo

A collection of implementations of different type systems in Rust.