👷 TypeScript's largest type utility library

• UpdatedJun 2, 2025
• TypeScript

Function argument validation for humans

• UpdatedMay 5, 2024
• 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

• UpdatedJul 8, 2025
• Lua

Type Signature for Ruby

• UpdatedJul 18, 2025
• Ruby

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

• UpdatedOct 13, 2023
• Python

🐍 Example Python project using best practices 🥇

• UpdatedJul 7, 2025
• Python

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

• UpdatedNov 30, 2023
• 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

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

• UpdatedJun 23, 2021
• Java

A garden of small programming language implementations 🪴

• UpdatedJul 18, 2025
• OCaml

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

• UpdatedJul 13, 2025
• Python

MOVED TO GITLAB

• UpdatedJan 8, 2018
• JavaScript

Runtime type checking for JS with Hindley Milner signatures

• UpdatedDec 3, 2022
• JavaScript

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

• UpdatedJul 3, 2025
• TypeScript

Type Analyzer for JavaScript

• UpdatedFeb 11, 2025
• Java

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

• UpdatedOct 22, 2021
• Scala

Type-safe Lua IDE — IntelliJ IDEA plugin

• UpdatedNov 13, 2023
• Kotlin