A PEP to add a `@sealed` typing decorator to Python
☆28Mar 23, 2024Updated 2 years ago
Alternatives and similar repositories for sealed-typing-pep
Users that are interested in sealed-typing-pep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental Python API for Ruff☆34Mar 1, 2026Updated 2 months ago
- Extra array functions built on top of the array API standard.☆28May 1, 2026Updated last week
- Python base classes for rich path objects☆34Oct 10, 2025Updated 6 months ago
- ☆14Jan 26, 2023Updated 3 years ago
- Decisions by the Python Typing Council☆52Apr 15, 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.
- Python Typing Intersection examples☆58Apr 12, 2024Updated 2 years ago
- Transforming asynchronous to synchronous Python code☆25Jan 24, 2026Updated 3 months ago
- Background tasks for ASGI web frameworks☆18Nov 3, 2022Updated 3 years ago
- Collecting examples of unsoundness in the Python type system☆79May 1, 2026Updated last week
- Extract jsonschema from various Python objects☆33Oct 25, 2022Updated 3 years ago
- Masked versions of array API compatible arrays☆32Updated this week
- QUICK, a GPU-enabled ab intio quantum chemistry software. Now move to the main branch: https://github.com/merzlab/QUICK☆11Jan 19, 2015Updated 11 years ago
- Replacing Python's type system.☆21Jul 7, 2025Updated 10 months ago
- Runtime inspection utilities for Python typing module☆377Jan 18, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- Experimental Typing Stubs for NumPy☆76Updated this week
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- Release management tool☆69Jan 8, 2026Updated 4 months ago
- ☆10Feb 13, 2022Updated 4 years ago
- Computer-Aided Process Planner (CAPP) for Synthetic Biology Research☆11Jun 1, 2021Updated 4 years ago
- Channels between coroutines in Python☆15Jan 4, 2021Updated 5 years ago
- CLI testing utility☆24Apr 28, 2026Updated last week
- Draft specification for the Python type system☆13Dec 11, 2023Updated 2 years ago
- 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.
- A Python wrapper around Linux's renameat2 system call☆13Sep 5, 2023Updated 2 years ago
- Turtle graphics with NumPy☆12Jan 13, 2026Updated 3 months ago
- An mdformat plugin for rendering tables☆19Oct 16, 2025Updated 6 months ago
- Asyncio remote procedure call (RPC) client & server with MsgPack serialization☆11Apr 30, 2025Updated last year
- Check to see if an SDist matches Git☆12Updated this week
- Automated testing for the examples in your documentation.☆87Mar 26, 2026Updated last month
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- Asyncio event loop that doesn't interact with the outside world☆16Apr 18, 2026Updated 3 weeks ago
- ☆351May 17, 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.
- AppCode plugin to open the declaration/implementation of the current selected symbol within a vertically splitted tab.☆19May 4, 2021Updated 5 years ago
- ☆13Updated this week
- ☆10Dec 24, 2022Updated 3 years ago
- Hypothesis extension for computational biology☆16Jan 23, 2023Updated 3 years ago
- Run all your asynchronous tests cooperatively.☆96Jun 24, 2025Updated 10 months ago
- Run Python type checkers over millions of lines of code☆109Apr 28, 2026Updated last week
- Example input for the Wales Group code☆11Oct 20, 2024Updated last year