There are 3 repositories under type-checker topic.
🚨 Enhanced TypeScript support for Parcel
Hypertypes - generic programming for heterogeneous recursive types
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Swift type checking and semantic analysis for developer tools
A PEG Parsing Tool
A work-in-progress core language for Agda, in Agda
Static Python Code Analyzer
An implementation of MacroML [Ganz, Sabry & Taha 2001]
A simple runtime JSON type checker.
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
Anders: Cubical Type Checker
write a little simply typed functional language to practice Rust
type-system, revised unification algorithm and runtime time representations
Checking Dependent Types with Normalization by Evaluation
:grey_question: A simple type checking library for Node.js
Lambda Calculus compiler targeting x86, written in Racket
Castle Bravo: Experimental HoTT Implementation
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
TypeScript with exposed internal definitions and some private methods for type checking.