Collecting examples of unsoundness in the Python type system
☆79May 1, 2026Updated last week
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☆31Updated this week
- Manage legacy code with comments.☆18Updated this week
- Add default values to stubs☆19Apr 6, 2026Updated last month
- Analysis of issues in the mypy issue tracker☆18Jun 25, 2025Updated 10 months ago
- ☆24Nov 20, 2024Updated last year
- 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.
- Replacing Python's type system.☆21Jul 7, 2025Updated 10 months ago
- Opinionated typing package for precise type hints in Python☆82May 2, 2026Updated last week
- Run Python type checkers over millions of lines of code☆109Apr 28, 2026Updated last week
- Decisions by the Python Typing Council☆52Apr 15, 2026Updated 3 weeks ago
- Scripts and actions to auto-upload typeshed stubs to PyPI☆37Updated this week
- Experimental Typing Stubs for NumPy☆76Updated this week
- derive types from other types to make it easier to type code!☆25Apr 28, 2026Updated last week
- Library and command-line tool to gather stats on typeshed packages☆14Updated this week
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Extra array functions built on top of the array API standard.☆28May 1, 2026Updated last week
- Website for testing snippets of code using the pyright type checker☆63Nov 2, 2025Updated 6 months ago
- An mdformat plugin for rendering tables☆19Oct 16, 2025Updated 6 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 3 months ago
- A code-running bot.☆10Jan 26, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- generate random python code to test linter/formatter/and other tools☆55Apr 13, 2026Updated 3 weeks ago
- Use PyScript in mkdocs☆18May 17, 2024Updated last year
- A feedback-driven, evolutionary fuzzer for the CPython JIT compiler.☆25Mar 12, 2026Updated last month
- 🐍🛥🌟 Running Python in the browser with Batavia and Starlette☆12Sep 14, 2019Updated 6 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
- Mdformat plugin to Blacken Python code blocks☆28Mar 9, 2025Updated last year
- Experimental Python API for Ruff☆34Mar 1, 2026Updated 2 months ago
- A VS Code extension for checking the latest version of each dependency☆30Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.☆17Mar 20, 2026Updated last month
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated last month
- Python bindings for the htmd Rust library, a fast HTML to Markdown converter☆13May 2, 2026Updated last week
- lazy-imports-lite changes the semantics of python imports and defers the import until it is used the first time like in PEP 690☆24Updated this week
- Like `typing._eval_type`, but lets older Python versions use newer typing features.☆16Dec 2, 2025Updated 5 months ago
- An easy, fast, and minimalist space repetition application for the terminal.☆12Sep 16, 2024Updated last year
- Cornell INFO 3350 Fall 2023☆11Dec 5, 2023Updated 2 years ago