An ML-like statically-typed Erlang
A toy language based on LLVM that implements the System Fω type-system
Fωμ type checker and compiler
An implementation of MacroML [Ganz, Sabry & Taha 2001]
🧊 Модальний гомотопічний верифікатор математики
Anders: Cubical Type Checker
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
type-system, revised unification algorithm and runtime time representations
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
Type inference implementation in OCaml using Algorithm W
OCaml implementation of a constraint-based bottom-up type inference algorithm
Source code for TAPL
🎲 Statically typed probabilistic programming language, feat. GADT
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
Tiny research language for investigating how to type-check programs with recursive function calls.
LinearLang is a programming language based on linear type system that ensures memory safety.
A Python type checker and linter that just works.
The Poppy Compiler
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."