A static, type inferred and embeddable language written in Rust.

A menagerie of cute implementations of modern typechecking algorithms

A simple ML-like programming language with subtyping and full type inference.

Compiling real-world structures into verifiable on-chain forms.

Using Large Language Models for Repo-wide Type Prediction

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Experimental Python Type Checker and LSP 🔎

A Hindley-Milner polymorphic typing system

Sam's Programming Language

Hindley Milner Type Inference in Rust

A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.

Rails as a specification; the deployment target is a build flag

Hindley-Milner type inference for Scheme, in Rust

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

An implementation of a featherweight muse interpreter written in Rust.

LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter

A fast, statically-typed interpreted language that blends Rust-like syntax with Python's ease of use. 2-10x faster than Python, with type inference, monomorphization, and constant folding.

a scripting language (primarily) for games written in Rust

Constraint solving vs Abstract interpretation

Simple implementation of Hindley-Milner type inference in Rust