typechecker topic

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

fsprojects

Runtime Type Checks for TypeScript

fabiandev

🐍 The Mamba programming language, because we care about safety

JSAbrahams

Higher Kinded Type machinery for Java

derive4j

Validate Method Arguments & Results in Ruby

janlelis

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

mesqueeb

Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

EarlGray

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

davidfstr

Some useful decorators for any situation. Includes runtime type checking.

LostInDarkMath

A package for type-checking the URLs and associated views for Django

AliSayyah