type-checking topic
retype
Re-apply type annotations from .pyi stubs to your codebase.
elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
check-types.js
MOVED TO GITLAB
tl
The compiler for Teal, a typed dialect of Lua
tapl-scala
Code from the book "Types and Programming Languages" in Scala
babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
hm-def
Runtime type checking for JS with Hindley Milner signatures
python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.