👷 TypeScript's largest type utility library
Function argument validation for humans
Building a modern functional compiler from first principles. (http://dev...
🔮 A refreshing functional take on deep learning, compatible with your f...
The compiler for Teal, a typed dialect of Lua
Type Signature for Ruby
🏝 automated contract testing via type checking for Elixir functions and ...
🐍 Example Python project using best practices 🥇
Strong Dynamically Typed Object Modeling for JavaScript
A simple plugin that allows running mypy from PyCharm and navigate betwe...
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