There are 3 repositories under type-checking topic.
👷 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
High-performance Vision library in Python. Scale your research, not boilerplate.
🏝 automated contract testing via type checking for Elixir functions and mocks
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
A simple plugin that allows running mypy from PyCharm and navigate between errors
Runtime type checking for JS with Hindley Milner signatures
Code from the book "Types and Programming Languages" in Scala
Re-apply type annotations from .pyi stubs to your codebase.
Predicates for type checking, assertions, filtering etc
Type-safe Lua IDE Plugin for IntelliJ IDEA
Runtime type and bounds-error checking for C/C++
Decorator which checks whether the function is called with the correct type of parameters.
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Swift type checking and semantic analysis for developer tools
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Blazing fast input validation and transformation ⚡
A plugin for Flake8 that provides specializations for type hinting stub files
Stubs of common micropython modules to aid in code completion, static typechecking and overall development
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
A PEG Parsing Tool
Program analysis playground for a simple, imperative language
Type checking and logical inference for JetBrains MPS