type-checking topic

Re-apply type annotations from .pyi stubs to your codebase.

ambv

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Qqwy

Strong Dynamically Typed Object Modeling for JavaScript

sylvainpolletvillard

MOVED TO GITLAB

philbooth

The compiler for Teal, a typed dialect of Lua

teal-language

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

ilya-klyuchnikov

⚡️ Runtime type-checker for JavaScript

vitalets

Type Signature for Ruby

ruby

Runtime type checking for JS with Hindley Milner signatures

xodio

🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.

eugeneyan