pyanalyze
Type checker
A tool to analyze Python code for type errors and other issues
A Python type checker
350 stars
10 watching
35 forks
Language: Python
last commit: 2 months ago
Linked from 1 awesome list
linterpythonstatic-analysistypecheckertypestyping
Related projects:
| Repository | Description | Stars |
|---|---|---|
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
 loyada/typedpy | A comprehensive type system for Python that provides strict type checking and conversion between Python data structures and JSON-like formats. | 16 |
 aldanor/typo | A package providing runtime type checking for Python functions annotated with argument type hints. | 29 |
 siddhuwarrier/python-typeutils | A utility library that provides a type checking decorator for Python functions. | 1 |
 contains-io/typet | A Python library that simplifies type checking and validation in object-oriented coding | 22 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
 mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
 wishtack/pysynthetic | A set of tools that simplify Python class creation by reducing boilerplate code and enforcing type checking. | 15 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 orsinium-labs/typeforce | A tool to simplify Python package maintenance by automating type checking and stub installation. | 19 |
 dropbox/mypy-pycharm-plugin | A plugin that allows running type-checking tools from within PyCharm. | 314 |
 realpython/pytest-mypy | Automates mypy static type checking as part of pytest test runs | 249 |
 detachhead/basedpyright | An improved version of Pyright with enhanced type checking and support for popular IDEs | 1,300 |