typechecker topic

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

bevry

Dependently typed core calculus with erasure

ziman

Use Erlang typespecs in the runtime

ieQu1

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Gbury

Compositional type checking for Haskell

gergoerdi

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

kaleidawave

Open-source TypeScript killer written in C#

Stepami

A Python type checker

quora

Python 2.7 & 3.5+ runtime type-checker

h2oai

An example LLVM-based compiler for a subset of C.

MarkLeone