JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆75Updated last week
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☆26Updated last month
- derive types from other types to make it easier to type code!☆22Updated last month
- Decisions by the Python Typing Council☆51Updated last year
- Useful types for Python☆149Updated 3 weeks ago
- Run Python type checkers over millions of lines of code☆106Updated this week
- Python Typing Intersection examples☆50Updated last year
- generate random python code to test linter/formatter/and other tools☆53Updated last week
- Based Python static type checker with baseline, sane default settings and based typing features☆197Updated 4 months ago
- Draft specification for the Python type system☆13Updated 2 years ago
- CLI to open PEPs in your browser☆38Updated this week
- `diagnostic` makes it easier to build command line tools with great error reporting.☆31Updated last week
- ☆47Updated last year
- Add default values to stubs☆19Updated 3 weeks ago
- A low-level library for installing from a Python wheel distribution.☆142Updated last week
- Backport of PEP 654 (exception groups)☆48Updated 3 weeks ago
- Experimental Python API for Ruff☆34Updated last month
- ☆47Updated 2 weeks ago
- ☆39Updated 3 months ago
- Replacing Python's type system.☆18Updated 6 months ago
- Python dependency specifications supporting logical operations☆29Updated 6 months ago
- Pytest plugin for testing examples in docstrings and markdown files.☆138Updated 8 months ago
- A plugin for Flake8 that provides specializations for type hinting stub files☆80Updated 3 weeks ago
- Opinionated typing package for precise type hints in Python☆74Updated last week
- 🎰 Ensure your __slots__ are working properly☆119Updated 3 weeks ago
- ☆203Updated this week
- Hatch build hook plugin for Mypyc☆54Updated last year
- ☆196Updated last week
- Automatically add simple type annotations to your code☆282Updated 4 months ago
- Analysis of issues in the mypy issue tracker☆17Updated 7 months ago
- Phantom types for Python.☆233Updated last month