Collecting examples of unsoundness in the Python type system
☆79Mar 29, 2026Updated 3 weeks ago
Alternatives and similar repositories for unsoundness
Users that are interested in unsoundness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python type checker☆30Updated this week
- Manage legacy code with comments.☆17Updated this week
- Add default values to stubs☆19Apr 6, 2026Updated last week
- Analysis of issues in the mypy issue tracker☆17Jun 25, 2025Updated 9 months ago
- ☆24Nov 20, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Replacing Python's type system.☆21Jul 7, 2025Updated 9 months ago
- Opinionated typing package for precise type hints in Python☆82Apr 6, 2026Updated last week
- Run Python type checkers over millions of lines of code☆108Apr 4, 2026Updated 2 weeks ago
- Decisions by the Python Typing Council☆52Updated this week
- Scripts and actions to auto-upload typeshed stubs to PyPI☆37Updated this week
- Retrieve information from typeshed and other typing stubs☆30Apr 6, 2026Updated last week
- tutorial on Python's type system (always WIP)☆11Mar 17, 2026Updated last month
- derive types from other types to make it easier to type code!☆22Updated this week
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Draft specification for the Python type system☆13Dec 11, 2023Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated last month
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- An mdformat plugin for rendering tables☆19Oct 16, 2025Updated 6 months ago
- Website for testing snippets of code using the pyright type checker☆63Nov 2, 2025Updated 5 months ago
- man-utils is a collection of utils and libraries to help package maintainers easily create and maintain man pages for Python projects.☆10Jan 22, 2026Updated 2 months ago
- A code-running bot.☆10Jan 26, 2026Updated 2 months ago
- generate random python code to test linter/formatter/and other tools☆54Mar 20, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Use PyScript in mkdocs☆18May 17, 2024Updated last year
- A feedback-driven, evolutionary fuzzer for the CPython JIT compiler.☆24Mar 12, 2026Updated last month
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 5 years ago
- flake8 plugin to enforce new-style type hints (PEP 585)☆23Feb 28, 2023Updated 3 years ago
- Experimental Python API for Ruff☆34Mar 1, 2026Updated last month
- ☆47Mar 12, 2026Updated last month
- A VS Code extension for checking the latest version of each dependency☆30Apr 6, 2026Updated last week
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.☆17Mar 20, 2026Updated 3 weeks ago
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- Python bindings for the htmd Rust library, a fast HTML to Markdown converter☆13Updated this week
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- lazy-imports-lite changes the semantics of python imports and defers the import until it is used the first time like in PEP 690☆24Apr 6, 2026Updated last week
- Like `typing._eval_type`, but lets older Python versions use newer typing features.☆16Dec 2, 2025Updated 4 months ago
- Fusil is a multi-agent Python library used to write fuzzing programs☆38Oct 30, 2025Updated 5 months ago
- An easy, fast, and minimalist space repetition application for the terminal.☆12Sep 16, 2024Updated last year