JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆26Updated this 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☆23Updated last week
- `diagnostic` makes it easier to build command line tools with great error reporting.☆30Updated 11 months ago
- Run mypy and pyright over millions of lines of code☆94Updated this week
- Decisions by the Python Typing Council☆46Updated 9 months ago
- CLI to open PEPs in your browser☆37Updated this week
- Backport of PEP 654 (exception groups)☆45Updated this week
- ☆43Updated 9 months ago
- ☆41Updated 5 months ago
- PEP 621 metadata parsing☆41Updated this week
- Python dependency specifications supporting logical operations☆27Updated last month
- A pytest plugin for automatically updating doctest outputs☆63Updated this week
- A simple pytest plugin to run tests concurrently☆27Updated this week
- A low-level library for installing from a Python wheel distribution.☆137Updated this week
- minimize python source code to find bugs more easily☆38Updated last week
- Draft specification for the Python type system☆13Updated last year
- ☆37Updated 2 months ago
- Python variant types that work with match☆51Updated last year
- A utility to find python versions on your system☆39Updated last week
- Experimental Python API for Ruff☆26Updated 6 months ago
- Hatch build hook plugin for Mypyc☆46Updated last year
- Hatch plugin to integrate MkDocs and infer dependencies into an env☆14Updated 4 months ago
- ☆20Updated 7 months ago
- Automated testing for the examples in your documentation.☆75Updated last month
- A formatter for reStructuredText☆30Updated this week
- cython hooks for hatch☆31Updated 10 months ago
- Python base classes for rich path objects☆29Updated 2 months ago
- Useful types for Python☆136Updated this week
- PyPI package browsing web application☆52Updated 2 weeks ago
- 📦 A PDM plugin to publish to PyPI☆24Updated 4 years ago
- A small PEP440 compliant bump utility for the Python development master.☆44Updated this week