pyre-check
Python checker
Type-checking software for Python code
Performant type-checking for python.
7k stars
115 watching
438 forks
Language: OCaml
last commit: 4 months ago
Linked from 4 awesome lists
abstract-interpretationcode-qualitycontrol-flow-analysisocamlprogram-analysispythonsecuritystatic-analysistaint-analysistype-checktypechecker
vinta/awesome-python
jobbole/awesome-python-cn
ly0n/awesome-robotic-tooling
typeddjango/awesome-python-typingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 microsoft/pyright | A static type checker for the Python programming language | 13,573 |
 google/pytype | Automates type checking and error prevention in Python code | 4,791 |
 benfred/py-spy | A tool that lets you visualize what your program is spending time on without modifying the code. | 12,992 |
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
 mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,550 |
 joerick/pyinstrument | A Python profiler tool used to identify and optimize slow parts of code. | 6,727 |
 jendrikseipp/vulture | Automatically finds and reports unused code in Python programs. | 3,561 |
 pytransitions/transitions | An object-oriented finite state machine implementation in Python with many extensions. | 5,822 |
 pydantic/pydantic | A Python library for validating data using type hints and JSON Schema. | 21,677 |
 python/typeshed | Provides external type annotations for the Python standard library and third-party packages to support static analysis and type checking. | 4,419 |
| python/mypy | A tool to help catch errors in Python code by checking type compatibility and hints at compile time | 18,687 |
 realpython/pytest-mypy | Automates mypy static type checking as part of pytest test runs | 249 |
 mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
 dashingsoft/pyarmor | A tool for protecting and obfuscating Python scripts to prevent reverse engineering | 3,720 |
 davidfritzsche/pytest-mypy-testing | A tool to verify mypy's static type analysis output | 31 |