typesystems

Different type inference algorithms implemented in F#

A tool to help adapting code bases to NullAway type system.

TyES (Type Experiment System) is a personal project in the area of type systems, aiming to provide a playground to test different type system ideas in a simple way.

Locally nameless implementation of the Holy Types and Programming Languages using TLC!

Collection of explainatory example proofs for popular proof assistants.

Java-based interpreter for a custom statically typed language, implementing a type checker that validates programs before execution.

Financial risk DSL in Rust — dimensional types catch unit errors at compile time, 42× faster than Python.