Python static typing and type checking
11 repos
Tools and infrastructure for static type analysis in Python, centered on the type system itself and its tooling ecosystem. The cluster includes mypy (the primary static type checker), typing (Python's standard typing module), typeshed (the repository of type stubs for the standard library and third-party packages), and related infrastructure like typing_extensions, mypy_primer (for testing type checker changes), and stub_uploader (for distributing type information). This represents the core ecosystem for bringing compile-time type safety to a dynamically-typed language.
Python · 10
Shell · 1
python ·30,104
typing ·28,131
types ·28,131
linter ·20,643
typechecker ·20,643
stub ·5,121
mypy ·2,557
pep484 ·1,973
hacktoberfest ·1,973
python3 ·1,973
