Large Scale Type Systems (programming language)

Program analysis playground for a simple, imperative language

Hindley Milner Type Inference in Rust

A toy ML dialect

A small type inference/checker for a small set of expressions

an interpreter for a subset of the rust language with main focus on algebraic data types + pattern matching