Collecting examples of unsoundness in the Python type system
☆79May 10, 2026Updated 2 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☆39May 22, 2026Updated last week
- Manage legacy code with comments.☆19May 22, 2026Updated last week
- Analysis of issues in the mypy issue tracker☆18Jun 25, 2025Updated 11 months ago
- ☆24Nov 20, 2024Updated last year
- Replacing Python's type system.☆21Jul 7, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A computational graph for time-series processing.☆20Mar 22, 2025Updated last year
- Opinionated typing package for precise type hints in Python☆83Updated this week
- Run Python type checkers over millions of lines of code☆110May 11, 2026Updated 2 weeks ago
- Decisions by the Python Typing Council☆53Apr 15, 2026Updated last month
- Scripts and actions to auto-upload typeshed stubs to PyPI☆37Updated this week
- Experimental Typing Stubs for NumPy☆76May 19, 2026Updated last week
- derive types from other types to make it easier to type code!☆25May 19, 2026Updated last week
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 2 months ago
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- Extra array functions built on top of the array API standard.☆29Updated this week
- Website for testing snippets of code using the pyright type checker☆64Nov 2, 2025Updated 6 months ago
- An mdformat plugin for rendering tables☆19Oct 16, 2025Updated 7 months ago
- A code-running bot.☆10Jan 26, 2026Updated 4 months ago
- generate random python code to test linter/formatter/and other tools☆55May 18, 2026Updated last week
- Use PyScript in mkdocs☆18May 17, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A feedback-driven, evolutionary fuzzer for the CPython JIT compiler.☆25Mar 12, 2026Updated 2 months ago
- 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
- A PEP to add a `@sealed` typing decorator to Python☆28Mar 23, 2024Updated 2 years ago
- Experimental Python API for Ruff☆34Mar 1, 2026Updated 2 months ago
- Bash shell completions for Julia☆14Dec 14, 2023Updated 2 years ago
- ☆48May 19, 2026Updated last week
- A VS Code extension for checking the latest version of each dependency☆31Updated this week
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.☆17Mar 20, 2026Updated 2 months 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.
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated last month
- 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☆13May 18, 2026Updated last 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☆24May 4, 2026Updated 3 weeks ago
- Like `typing._eval_type`, but lets older Python versions use newer typing features.☆19Updated this week
- Fusil is a multi-agent Python library used to write fuzzing programs☆38Oct 30, 2025Updated 6 months ago