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 4 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

typeddjango/awesome-python-typing

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