PyTypes

Type inferencer

Infer static type information from Python code by tracing execution paths

Infer Types by Python Tracing

GitHub
11 stars
3 watching
1 forks
Language: Python
last commit: over 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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 A set of tools that simplify Python class creation by reducing boilerplate code and enforcing type checking. 15