A set of type stubs for popular Python packages. These are works in progress from the Microsoft Python team and others, with the intent that they are contributed to typeshed or to the associated pa ...

🐛 Describe the bug When I use detectron2 TorchScript to export onnx, the code use python list, will report error, This attribute exists on the Python module, but we failed to convert Python type: ' ...

Currently in alpha, Pyrefly is a new open-source Python type checker developed by Meta in Rust for maximum performance. Inspired by tools like Pyre, Pyright, and MyPy, Pyrefly is intended to ...

PyTy: Repairing Static Type Errors in Python Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully ...

In this paper, we present ManyTypes4Py, a large Python dataset for machine learning (ML)-based type inference. The dataset contains a total of 5,382 Python proj ...