tutorial on Python's type system (always WIP)
☆11Mar 17, 2026Updated last month
Alternatives and similar repositories for typing-tips
Users that are interested in typing-tips are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Replacing Python's type system.☆21Jul 7, 2025Updated 9 months ago
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- flake8 plugin to enforce new-style type hints (PEP 585)☆23Feb 28, 2023Updated 3 years ago
- General messing around with the internals of python☆16Nov 17, 2023Updated 2 years ago
- Backend for Python Discord forms☆11Mar 26, 2026Updated 3 weeks 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 diagnostic program to show the Python environment☆33Jul 28, 2025Updated 8 months ago
- Our event bot, for managing community events.☆21Apr 9, 2026Updated last week
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated last week
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Ball and Chain Decorators☆42Aug 8, 2021Updated 4 years ago
- 💬 Soothing pastel theme for mIRC☆13Aug 8, 2023Updated 2 years ago
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 3 years ago
- Collecting examples of unsoundness in the Python type system☆79Mar 29, 2026Updated 2 weeks ago
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 2 months ago
- Magically save your database backups and critical logs in your favorite cloud storage provider.☆51Oct 20, 2025Updated 5 months ago
- Python type-checker written in Rust☆33Jan 3, 2025Updated last year
- Get the number the next pull request will be assigned for a public GitHub repository.☆12Dec 30, 2025Updated 3 months ago
- Cli tool to pass arguments to nix flakes☆10May 6, 2024Updated last year
- The Black shade analyser and comparison tool.☆12Nov 25, 2025Updated 4 months ago
- Pixels is an introductory API from Python Discord for painting on a collaborative canvas.☆31Apr 3, 2024Updated 2 years ago
- LSP client for any LSP server (provider for auto-complete, lint, hover, etc)☆12Jul 2, 2024Updated last year
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 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.
- An object diff you can read to your mom☆16Mar 28, 2023Updated 3 years ago
- IDE for Lark-Parser☆31Jun 10, 2023Updated 2 years ago
- Minimal example of writing a foobar2000 plugin☆18May 3, 2023Updated 2 years ago
- A Modmail bot for Discord. Allowing safe moderator conversations with server members one server at a time.☆15Sep 25, 2024Updated last year
- This is silly☆20Aug 21, 2024Updated last year
- Generate a Nix derivation on the fly using an LLM☆30Jun 14, 2025Updated 10 months ago
- A blog of Programming Languages Group @Purdue☆12Apr 8, 2026Updated last week
- One of the fastest binary format for JSON-like data.☆12Dec 13, 2021Updated 4 years ago
- Generate Minesweeper fields to use in Discord messages.☆14Dec 9, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Gachimuchi-themed programming language☆12Nov 17, 2020Updated 5 years ago
- Python ORM for Postgres☆16Mar 31, 2024Updated 2 years ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- Programming blog☆25Sep 11, 2018Updated 7 years ago
- Discord Bot for the Pythonista Guild.☆16Feb 1, 2025Updated last year
- A system tray application for managing Yggdrasil service☆26Apr 5, 2026Updated last week
- Yandex Music Fuse FS☆10Nov 28, 2024Updated last year