pyre-check
Python checker
Type-checking software for Python code
Performant type-checking for python.
7k stars
113 watching
437 forks
Language: OCaml
last commit: 8 days 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,427 |
 google/pytype | Automates type checking and error prevention in Python code | 4,773 |
 benfred/py-spy | A tool that lets you visualize what your program is spending time on without modifying the code. | 12,828 |
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 200 |
 mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,483 |
 joerick/pyinstrument | A Python profiler tool used to identify and optimize slow parts of code. | 6,651 |
 jendrikseipp/vulture | Automatically finds and reports unused code in Python programs. | 3,513 |
 pytransitions/transitions | An object-oriented finite state machine implementation in Python with many extensions. | 5,771 |
 pydantic/pydantic | A Python library for validating data using type hints and JSON Schema. | 21,145 |
 python/typeshed | Provides external type annotations for the Python standard library and third-party packages to support static analysis and type checking. | 4,380 |
| python/mypy | A tool that checks Python code for type-related errors at compile time | 18,511 |
 realpython/pytest-mypy | A plugin that integrates mypy with pytest to enable static type checking during unit testing. | 248 |
 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 securing Python scripts by obfuscating them and binding them to specific machines or setting expiration dates. | 3,452 |
 davidfritzsche/pytest-mypy-testing | A tool to verify mypy's static type analysis output | 30 |