JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆60Updated 2 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☆24Updated 2 weeks ago
- Run mypy and pyright over millions of lines of code☆99Updated last week
- Decisions by the Python Typing Council☆48Updated 10 months ago
- derive types from other types to make it easier to type code!☆17Updated last week
- Useful types for Python☆139Updated 3 weeks ago
- generate random python code to test linter/formatter/and other tools☆44Updated last month
- Based Python static type checker with baseline, sane default settings and based typing features☆192Updated last month
- Experimental Python API for Ruff☆26Updated 7 months ago
- `diagnostic` makes it easier to build command line tools with great error reporting.☆30Updated 11 months ago
- CLI to open PEPs in your browser☆37Updated 3 weeks ago
- 🎰 Ensure your __slots__ are working properly☆109Updated 2 weeks ago
- Python Typing Intersection examples☆47Updated last year
- A plugin for Flake8 that provides specializations for type hinting stub files☆77Updated 3 weeks ago
- Hatch build hook plugin for Mypyc☆48Updated last year
- A low-level library for installing from a Python wheel distribution.☆137Updated this week
- Pytest plugin for testing examples in docstrings and markdown files.☆125Updated 2 months ago
- ☆37Updated 3 months ago
- ☆44Updated 9 months ago
- ☆188Updated 3 weeks ago
- Backport of PEP 654 (exception groups)☆46Updated 3 weeks ago
- Runtime typing introspection tools☆52Updated 2 months ago
- minimize python source code to find bugs more easily☆38Updated 3 weeks ago
- Draft specification for the Python type system☆13Updated last year
- ☆41Updated 6 months ago
- PEP 621 metadata parsing☆41Updated this week
- Replacing Python's type system.☆18Updated 3 weeks ago
- Flake8 plugin for managing type-checking imports & forward references.☆120Updated 6 months ago
- Analysis of issues in the mypy issue tracker☆16Updated last month
- Python dependency specifications supporting logical operations☆27Updated this week
- Validation library for simple check on `pyproject.toml`☆166Updated this week