JelleZijlstra / typing-specView external linksLinks
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☆149Jan 5, 2026Updated last month
- a GitHub action to install (pre-release) pythons from deadsnakes☆58Dec 15, 2025Updated 2 months ago
- Utilities for refactoring imports in python-like syntax.☆25Dec 22, 2025Updated last month
- ☆20Sep 11, 2025Updated 5 months ago
- ☆15Aug 21, 2025Updated 5 months ago
- [Push Mirror] A rewrite of cowsay in python☆14Sep 2, 2025Updated 5 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
- AARGH - An Arch Ricing Gentle Helper☆10Aug 22, 2025Updated 5 months ago
- ☆10Sep 22, 2021Updated 4 years ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Dec 27, 2025Updated last month
- A fork of the abandoned Tivix/django-cron project, compatible with Django 6.0 and Python 3.14☆12Dec 6, 2025Updated 2 months ago
- Collecting examples of unsoundness in the Python type system☆75Jan 28, 2026Updated 2 weeks ago
- Cross platform screen capture library☆11Feb 28, 2025Updated 11 months ago
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 7 months ago
- Turtle graphics with NumPy☆12Jan 13, 2026Updated last month
- a superior left-pad☆10Feb 15, 2024Updated 2 years ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- The Python Runtime Manager for POSIX systems☆11Jan 21, 2022Updated 4 years ago
- A super light library based on HTTP requests to simplify interaction with Cloudflare R2, enabling seamless integration of object storage …☆16Sep 16, 2025Updated 4 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 2 weeks ago
- ☆14Jan 30, 2025Updated last year
- Hatch build hook plugin for Mypyc☆54Jun 30, 2024Updated last year
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- A Astro static typesense search demo☆10Mar 6, 2023Updated 2 years ago
- ☆11Jul 6, 2022Updated 3 years ago
- ☆47Jan 18, 2026Updated 3 weeks ago
- mypy language server (using mypy server instead of command line)☆11Oct 4, 2023Updated 2 years ago
- Providing updates to cookiecutter projects.☆13Nov 14, 2024Updated last year
- A glowfic to epub converter.☆14Jan 25, 2026Updated 3 weeks ago
- Guidelines for using Cython (documentation)☆11Mar 4, 2023Updated 2 years ago
- Python 3 library to mock a http server using Flask☆12Oct 22, 2023Updated 2 years ago
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆13Jan 15, 2022Updated 4 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- A query string parser for Gleam☆11Feb 25, 2025Updated 11 months ago
- Provides easy access to ONC data in Python☆15Dec 4, 2025Updated 2 months ago
- Simple migrations system for asyncpg☆12May 7, 2025Updated 9 months ago
- A simple, correct PEP427 wheel installer☆12Mar 30, 2021Updated 4 years ago
- Decisions by the Python Typing Council☆51Oct 2, 2024Updated last year