PyTypes
Type inferencer
Infer static type information from Python code by tracing execution paths
Infer Types by Python Tracing
11 stars
3 watching
1 forks
Language: Python
last commit: over 2 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 saltudelft/type4py | An open-source software framework for deep learning-based type inference in Python | 62 |
 realpython/pytest-mypy | Automates mypy static type checking as part of pytest test runs | 249 |
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
 orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 86 |
 davidfritzsche/pytest-mypy-testing | A tool to verify mypy's static type analysis output | 31 |
 mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
 dry-python/classes | Enables typed polymorphism and type-safe business logic in Python without inheritance or interfaces. | 678 |
 antonagestam/phantom-types | Phantom types enable safe parsing and validation of data by making certain states unrepresentable at compile time | 205 |
 python-security/pyt | A tool that analyzes Python web applications for potential security vulnerabilities | 2,181 |
 hauntsaninja/useful_types | Provides commonly used data structures and protocols in Python to improve code clarity and maintainability | 115 |
 yinwang0/pysonar2 | A semantic indexer for Python code, enabling batch processing and interprocedural type inference to build indexes for code browsers and search engines. | 1,395 |
 mplanchard/safetywrap | Typesafe wrappers for handling errors and absent data in Python | 44 |
 wishtack/pysynthetic | Tools to simplify and enforce type checking in Python class definitions | 15 |