👷 TypeScript's largest type utility library

• UpdatedJun 2, 2025
• TypeScript

Function argument validation for humans

• UpdatedSep 9, 2025
• TypeScript

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

• UpdatedJan 11, 2021
• Haskell

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

• UpdatedJul 11, 2025
• Python

The compiler for Teal, a typed dialect of Lua

• UpdatedOct 2, 2025
• Lua

Type Signature for Ruby

• UpdatedOct 7, 2025
• Ruby

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

• UpdatedAug 11, 2025
• Python

🐍 Example Python project using best practices 🥇

• UpdatedSep 30, 2025
• Python

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

• UpdatedJul 26, 2025
• Elixir

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

• UpdatedJan 27, 2025
• Elixir

Strong Dynamically Typed Object Modeling for JavaScript

• UpdatedSep 26, 2024
• JavaScript

Python Type Checker / Language Server

• UpdatedOct 7, 2025
• Rust

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

• UpdatedJun 23, 2021
• Java

A garden of small programming language implementations 🪴

• UpdatedOct 3, 2025
• OCaml

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

• UpdatedOct 7, 2025
• Python

MOVED TO GITLAB

• UpdatedJan 8, 2018
• JavaScript

Runtime type checking for JS with Hindley Milner signatures

• UpdatedDec 3, 2022
• JavaScript

Type Analyzer for JavaScript

• UpdatedFeb 11, 2025
• Java

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

• UpdatedSep 22, 2025
• TypeScript

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

• UpdatedOct 22, 2021
• Scala