Draft specification for the Python type system
☆13Dec 11, 2023Updated 2 years ago
Alternatives and similar repositories for typing-spec
Users that are interested in typing-spec are comparing it to the libraries listed below
Sorting:
- Useful types for Python☆148Jan 5, 2026Updated 2 months ago
- a GitHub action to install (pre-release) pythons from deadsnakes☆57Dec 15, 2025Updated 2 months ago
- Utilities for refactoring imports in python-like syntax.☆24Dec 22, 2025Updated 2 months ago
- ☆16Aug 21, 2025Updated 6 months ago
- ☆20Sep 11, 2025Updated 5 months ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Feb 18, 2026Updated 2 weeks ago
- AARGH - An Arch Ricing Gentle Helper☆10Aug 22, 2025Updated 6 months ago
- [Push Mirror] A rewrite of cowsay in python☆14Sep 2, 2025Updated 6 months ago
- Telegram bot to search and send videos in any chat (like @gif). Users can upload/edit/delete their own videos.☆14May 13, 2023Updated 2 years ago
- Collecting examples of unsoundness in the Python type system☆77Feb 21, 2026Updated 2 weeks ago
- The Python Runtime Manager for POSIX systems☆11Jan 21, 2022Updated 4 years ago
- Hatch build hook plugin for Mypyc☆54Jun 30, 2024Updated last year
- A Astro static typesense search demo☆10Mar 6, 2023Updated 3 years ago
- textwrap.dedent with t-string support☆21Dec 15, 2025Updated 2 months ago
- Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease☆10Mar 29, 2024Updated last year
- A code-running bot.☆10Jan 26, 2026Updated last month
- ☆11Jul 6, 2022Updated 3 years ago
- a superior left-pad☆10Feb 15, 2024Updated 2 years ago
- ☆14Jan 30, 2025Updated last year
- Turtle graphics with NumPy☆12Jan 13, 2026Updated last month
- A curated list of Uiua modules you can use in your projects☆14Aug 14, 2025Updated 6 months ago
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 7 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- A fork of the abandoned Tivix/django-cron project, compatible with Django 6.0 and Python 3.14☆13Dec 6, 2025Updated 3 months ago
- A super light library based on HTTP requests to simplify interaction with Cloudflare R2, enabling seamless integration of object storage …☆16Sep 16, 2025Updated 5 months ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- ☆47Jan 18, 2026Updated last month
- Guidelines for using Cython (documentation)☆11Mar 4, 2023Updated 3 years ago
- Channels between coroutines in Python☆14Jan 4, 2021Updated 5 years ago
- Allow use of Annotated function arguments in pytest tests for resolving fixtures☆13Nov 26, 2024Updated last year
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated 7 months ago
- Decisions by the Python Typing Council☆52Oct 2, 2024Updated last year
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- A query string parser for Gleam☆12Feb 25, 2025Updated last year
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆13Jan 15, 2022Updated 4 years ago
- Plug and play Heroicons and Tabler icons for Django Cotton.☆16Feb 23, 2026Updated 2 weeks ago
- A simple, correct PEP427 wheel installer☆12Mar 30, 2021Updated 4 years ago
- mypy language server (using mypy server instead of command line)☆11Oct 4, 2023Updated 2 years ago