Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
Static Type Checker for Python
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
A Python type checker
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Mypy static type checker plugin for Pytest
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
A Single Library Parser to extract meta information,static analysis and detect macros within the files.
- malware-analysis
- pdf-parsing
- pe-executable
- office-files