👷 TypeScript's largest type utility library

Function argument validation for humans

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

The compiler for Teal, a typed dialect of Lua

The type signature language for Ruby

Python Type Checker / Language Server

High-performance Vision library in Python. Scale your research, not boilerplate.

🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint

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

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Strong Dynamically Typed Object Modeling for JavaScript

A garden of small programming language implementations 🪴

A simple plugin that allows running mypy from PyCharm and navigate between errors

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

A high-performance static analysis toolkit for Ruby

MOVED TO GITLAB

Runtime type checking for JS with Hindley Milner signatures

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

Type Analyzer for JavaScript