👷 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

Type Signature for Ruby

The compiler for Teal, a typed dialect of Lua

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

🏝 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

🐍 Example Python project using best practices 🔩

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

MOVED TO GITLAB

Runtime type checking for JS with Hindley Milner signatures

Type Analyzer for JavaScript

Code from the book "Types and Programming Languages" in Scala

Type-safe Lua IDE Plugin for IntelliJ IDEA

Re-apply type annotations from .pyi stubs to your codebase.

🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.

Extensions for mypy