tutorial on Python's type system (always WIP)
☆13Jun 15, 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 last year
- A diagnostic program to show the Python environment☆33Jul 28, 2025Updated last year
- Our event bot, for managing community events.☆20Jul 17, 2026Updated last week
- Rewrapping FieryIceStickie's Deobfuscation Tools☆11Jul 11, 2026Updated 2 weeks ago
- Collecting examples of unsoundness in the Python type system☆81May 27, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Magically save your database backups and critical logs in your favorite cloud storage provider.☆53Jun 21, 2026Updated last month
- ☆10Mar 29, 2018Updated 8 years ago
- Get the number the next pull request will be assigned for a public GitHub repository.☆12Jun 22, 2026Updated last month
- Infrastructure for Python Discord☆16Updated this week
- A work-in-progress Discord API wrapper written in Python.☆12Jan 7, 2023Updated 3 years ago
- Pixels is an introductory API from Python Discord for painting on a collaborative canvas.☆31Apr 3, 2024Updated 2 years ago
- A Modmail bot for Discord. Allowing safe moderator conversations with server members one server at a time.☆14Sep 25, 2024Updated last year
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is silly☆20Aug 21, 2024Updated last year
- LSP client for any LSP server (provider for auto-complete, lint, hover, etc)☆12Jul 2, 2024Updated 2 years ago
- An easy-to-use asynchronous redis-backed caching utility☆17Jan 30, 2024Updated 2 years ago
- home-manager module POC for a tracker blocker on the command line☆11May 26, 2026Updated 2 months ago
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Jun 24, 2026Updated last month
- A discord bot with commands surrounding The Simpsons, Futurama and Rick and Morty and more!☆12Jun 24, 2026Updated last month
- Run any version of any Nix package in one command... `vx hugo-0.139.0 serve`☆17Apr 15, 2026Updated 3 months ago
- An object diff you can read to your mom☆16Mar 28, 2023Updated 3 years ago
- anticanonicalize is a tool which runs a command with the current working directory set to an "unreachable" version of the directory.☆16Feb 21, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Runtime components for use with basedmypy☆12Nov 21, 2024Updated last year
- High performance traffic generator☆15Updated this week
- ☆12Jun 2, 2026Updated last month
- No more stupid dots.☆18Aug 2, 2024Updated last year
- Criminal Identification System using Face detection and recognition.☆19Sep 30, 2020Updated 5 years ago
- Elixir NIF bindings for the Resvg library.☆30Jul 14, 2026Updated 2 weeks ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jul 10, 2026Updated 2 weeks ago
- Yandex Music Fuse FS☆11Nov 28, 2024Updated last year
- Bomberjam is an artificial intelligence programming challenge.☆24Jan 15, 2023Updated 3 years 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.
- Extra modules that nobody needs.☆22Jun 14, 2026Updated last month
- rumdl extension for VS Code — fast Markdown linting and formatting☆15Updated this week
- A collection of tools and utilities used throughout our discord bot projects.☆19May 17, 2026Updated 2 months ago
- Python interpreter at your fingertips☆15May 25, 2026Updated 2 months ago
- TOML code formatting plugin for dprint☆22May 24, 2026Updated 2 months ago
- skipIf(condition, name, test)☆12Oct 22, 2021Updated 4 years ago
- A VS Code extension for zizmor's language server☆23Jul 17, 2026Updated last week