JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆71Updated 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 this week
- Decisions by the Python Typing Council☆48Updated last year
- derive types from other types to make it easier to type code!☆19Updated last week
- Run mypy and pyright over millions of lines of code☆102Updated last week
- Add default values to stubs☆16Updated 2 weeks ago
- Useful types for Python☆146Updated 2 weeks ago
- ☆38Updated 2 weeks ago
- generate random python code to test linter/formatter/and other tools☆52Updated this week
- Backport of PEP 654 (exception groups)☆48Updated 2 weeks ago
- Based Python static type checker with baseline, sane default settings and based typing features☆195Updated last month
- Python Typing Intersection examples☆49Updated last year
- 🎰 Ensure your __slots__ are working properly☆117Updated 2 weeks ago
- Experimental Python API for Ruff☆31Updated 3 weeks ago
- Hatch build hook plugin for Mypyc☆50Updated last year
- A low-level library for installing from a Python wheel distribution.☆137Updated last week
- `diagnostic` makes it easier to build command line tools with great error reporting.☆30Updated last year
- Analysis of issues in the mypy issue tracker☆17Updated 4 months ago
- Draft specification for the Python type system☆13Updated last year
- Pytest plugin for testing examples in docstrings and markdown files.☆129Updated 5 months ago
- Runtime typing introspection tools☆54Updated 3 weeks ago
- Python dependency specifications supporting logical operations☆27Updated 2 months ago
- Automatically add simple type annotations to your code☆271Updated last month
- ☆42Updated last week
- ☆195Updated last week
- ☆45Updated last year
- A Python type checker☆375Updated this week
- A plugin for Flake8 that provides specializations for type hinting stub files☆80Updated 2 weeks ago
- An AsyncIO event loop implemented in Rust☆185Updated 3 weeks ago
- ☆183Updated this week
- Modern benchmarking library for python with pytest integration.☆54Updated 2 years ago