typechecker

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Optional static typing for Python

Performant type-checking for python.

A static type analyzer for Python code

Static type checker for Ruby

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

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Python 3.5+ runtime type checking for integration testing and data validation

🏝 automated contract testing via type checking for Elixir functions and mocks

Runtime Type Checks for TypeScript

Limits of Scala typechecking speed

Higher Kinded Type machinery for Java

🐍 The Mamba programming language, because we care about safety

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

Validate Method Arguments & Results in Ruby

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

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

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

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

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