type-checking topic

Type-safe Lua IDE — IntelliJ IDEA plugin

Benjamin-Dobell

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

vitorsvieira

Swift type checking and semantic analysis for developer tools

MaxDesiatov

A JavaScript type checking/casting library

OmgImAlexis

🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

bazel-contrib

Typeis. it's the smart and simple javaScript type checker

typeis

Predicates for type checking, assertions, filtering etc

wookieb

Runtime type and bounds-error checking for C/C++

GJDuck

Decorator which checks whether the function is called with the correct type of parameters.

FelixTheC

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

mesqueeb