TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
Optional static typing for Python
- python
- types
- typing
- typechecker
An extremely fast Python type checker and language server, written in Rust.
Static Type Checker for Python
A fast type checker and language server for Python
A fast, powerful type checker designed for Ruby
- ruby
- types
- sorbet
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
A fast, feature-rich static code analyzer & language server for Python
Rust port of the TypeScript 7 type checker
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
Run-time type checker for Python
Static type checker for Ruby
- ruby
- typechecker
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A Python type checker
Mypy static type checker plugin for Pytest
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A Python type checker
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker
A toml parser and checker to avoid common errors in Substrate projects