TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
Updated
May 21, 2024 - TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Optional static typing for Python
Performant type-checking for python.
A static type analyzer for Python code
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
A Python type checker
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
🏝 automated contract testing via type checking for Elixir functions and mocks
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Python 3.5+ runtime type checking for integration testing and data validation
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
Higher Kinded Type machinery for Java
Python 2.7 & 3.5+ runtime type-checker
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Runtime Type Checks for TypeScript
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."