👷 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 simple plugin that allows running mypy from PyCharm and navigate between errors

A garden of small programming language implementations 🪴

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

MOVED TO GITLAB

Runtime type checking for JS with Hindley Milner signatures

Type Analyzer for JavaScript

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

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

Type-safe Lua IDE — IntelliJ IDEA plugin

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

Extensions for mypy

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

🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

Large Scale Type Systems: ML/C Hybrid Programming Language

Decorator which checks whether the function is called with the correct type of parameters.

⚡️ Runtime type-checker for JavaScript

Runtime type and bounds-error checking for C/C++

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.