👷 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
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 garden of small programming language implementations 🪴
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
A high-performance static analysis toolkit for Ruby
MOVED TO GITLAB
Runtime type checking for JS with Hindley Milner signatures
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Type Analyzer for JavaScript
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."