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: about 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 | 61 |
 realpython/pytest-mypy | A plugin that integrates mypy with pytest to enable static type checking during unit testing. | 248 |
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 200 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 103 |
 orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 85 |
 davidfritzsche/pytest-mypy-testing | A tool to verify mypy's static type analysis output | 30 |
 mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
 dry-python/classes | Typed polymorphism primitives for Python business logic | 670 |
 ethanhs/python-typecheckers | A comprehensive collection of Python type checkers, categorized by syntax and execution time. | 62 |
 antonagestam/phantom-types | Phantom types enable safe parsing and validation of data by making certain states unrepresentable at compile time | 199 |
 python-security/pyt | A tool that analyzes Python web applications for potential security vulnerabilities | 2,176 |
 hauntsaninja/useful_types | Provides commonly used data structures and protocols in Python to improve code clarity and maintainability | 99 |
 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,391 |
 mplanchard/safetywrap | Typesafe wrappers for handling errors and absent data in Python | 44 |
 wishtack/pysynthetic | Tools to simplify Python class creation with type checking and strict contract enforcement | 15 |