JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆65Updated 3 weeks ago
Alternatives and similar repositories for unsoundness
Users that are interested in unsoundness are comparing it to the libraries listed below
Sorting:
- A Python type checker☆25Updated last week
- derive types from other types to make it easier to type code!☆18Updated last week
- Decisions by the Python Typing Council☆48Updated 11 months ago
- Run mypy and pyright over millions of lines of code☆101Updated 3 weeks ago
- Useful types for Python☆142Updated 2 months ago
- generate random python code to test linter/formatter/and other tools☆49Updated this week
- Analysis of issues in the mypy issue tracker☆17Updated 2 months ago
- Experimental Python API for Ruff☆28Updated last week
- Based Python static type checker with baseline, sane default settings and based typing features☆195Updated 3 weeks ago
- Python Typing Intersection examples☆49Updated last year
- Pytest plugin for testing examples in docstrings and markdown files.☆127Updated 4 months ago
- ☆43Updated 7 months ago
- ☆38Updated 4 months ago
- ☆44Updated 11 months ago
- Python dependency specifications supporting logical operations☆27Updated last month
- CLI to open PEPs in your browser☆37Updated 2 months ago
- 🎰 Ensure your __slots__ are working properly☆111Updated last month
- Add default values to stubs☆16Updated 3 weeks ago
- ☆192Updated 3 weeks ago
- All-Inclusive Python Projects☆130Updated last month
- A plugin for Flake8 that provides specializations for type hinting stub files☆80Updated 2 weeks ago
- Automatically add simple type annotations to your code☆266Updated 11 months ago
- Backport of PEP 654 (exception groups)☆47Updated 2 months ago
- Runtime typing introspection tools☆53Updated 3 months ago
- Opinionated typing package for precise type hints in Python☆62Updated this week
- A low-level library for installing from a Python wheel distribution.☆137Updated last week
- minimize python source code to find bugs more easily☆44Updated this week
- Hatch build hook plugin for Mypyc☆49Updated last year
- Flake8 plugin for managing type-checking imports & forward references.☆122Updated 7 months ago
- `diagnostic` makes it easier to build command line tools with great error reporting.☆30Updated last year