Semester Long Project: Compiler for ERPLAG (Toy Language)

JSON-Schema based type resolver for golang

Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

An excercise in developing a programming language

🔏 Type checker for any data structures

Consists of a Functional language as well as an Imperative language, implemented using Ocaml

A type checker for dynamically typed JavaScript

Taipo is a simple library for checking the types of variables

The project of the Computer Language Processing (CLP) course in EPFL. It implements a compiler and an interpreter for Amy Language that is a subset of Scala. (2018-2019)

Run-time type checking for JavaScript

unidiomatic usage of Rust, no linear type, no memory safety 😂

Whatitis is a type checker.

A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.

Simple dynamic Python type checker

Type validator package.

Strict, declarative, extensible runtime type checker for JavaScript

An attempt at a language for the logic of a possible type checker for lau

❓ Collection of tiny type introspection helpers