Adds static typing to JavaScript to improve developer productivity and code quality.
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Optional static typing for Python
- python
- types
- typing
- typechecker
Static Type Checker for Python
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
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
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