JelleZijlstra / unsoundnessLinks
Collecting examples of unsoundness in the Python type system
☆63Updated 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☆24Updated 2 weeks ago
- generate random python code to test linter/formatter/and other tools☆44Updated 2 weeks ago
- Decisions by the Python Typing Council☆48Updated 10 months ago
- Useful types for Python☆139Updated last month
- derive types from other types to make it easier to type code!☆18Updated last week
- Run mypy and pyright over millions of lines of code☆100Updated last week
- Backport of PEP 654 (exception groups)☆46Updated last month
- 🎰 Ensure your __slots__ are working properly☆110Updated last month
- Pytest plugin for testing examples in docstrings and markdown files.☆124Updated 3 months ago
- ☆37Updated 4 months ago
- Modern benchmarking library for python with pytest integration.☆54Updated last year
- Hatch build hook plugin for Mypyc☆49Updated last year
- ☆44Updated 10 months ago
- Analysis of issues in the mypy issue tracker☆16Updated 2 months ago
- A plugin for Flake8 that provides specializations for type hinting stub files☆79Updated last month
- CLI to open PEPs in your browser☆37Updated last month
- Add default values to stubs☆14Updated 3 weeks ago
- ☆191Updated last week
- Based Python static type checker with baseline, sane default settings and based typing features☆193Updated this week
- Python Typing Intersection examples☆47Updated last year
- Experimental Python API for Ruff☆28Updated 7 months ago
- minimize python source code to find bugs more easily☆40Updated 2 weeks ago
- ☆42Updated 6 months ago
- Declarative CLI argument parser☆162Updated 2 weeks ago
- A practical snapshot testing plugin for pytest.☆95Updated last year
- Pytest plugin to annotate failed tests with a workflow command for GitHub Actions☆165Updated 2 weeks ago
- An unofficial, importable pip API☆115Updated last week
- PEP 621 metadata parsing☆41Updated last week
- Runtime typing introspection tools☆53Updated 3 months ago
- An AsyncIO event loop implemented in Rust☆168Updated this week