tutorial on Python's type system (always WIP)
☆14Jun 15, 2026Updated 4 months ago
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:
- 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
- Load .env files into run-time environment and referenceable object. Optional AWS parameter store support.☆13Jan 12, 2025Updated last year
- Personal template for most python projects.☆19Jun 20, 2026Updated 3 months ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sans-io implementation of the (E)SMTP protocol☆19Oct 5, 2026Updated last week
- Our event bot, for managing community events.☆21Aug 24, 2026Updated last month
- Collecting examples of unsoundness in the Python type system☆91Updated this week
- Type-level list of kinds for PureScript.☆15Nov 17, 2021Updated 4 years ago
- Rewrapping FieryIceStickie's Deobfuscation Tools☆11Aug 1, 2026Updated 2 months ago
- A Cofunctor is a structure from category theory dual to Functor☆16Apr 29, 2018Updated 8 years ago
- Extended Inspect - View and modify memory structures of runtime objects.☆39Updated this week
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 years 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.
- Magically save your database backups and critical logs in your favorite cloud storage provider.☆53Jun 21, 2026Updated 3 months ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 8 months ago
- Python Music Theory and Notation Library☆11Nov 9, 2017Updated 8 years ago
- ☆10Mar 29, 2018Updated 8 years ago
- Get the number the next pull request will be assigned for a public GitHub repository.☆12Jun 22, 2026Updated 3 months ago
- Fork with experimental browser support. See https://github.com/microbit-foundation/pyright/blob/microbit/THIS_FORK.md for more informatio…☆12Sep 8, 2026Updated last month
- The Black shade analyser and comparison tool.☆12Nov 25, 2025Updated 10 months ago
- Infrastructure for Python Discord☆16Oct 6, 2026Updated last week
- 🕵️ File browser for distributions on PyPI☆126Updated this week
- 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.
- Pixels is an introductory API from Python Discord for painting on a collaborative canvas.☆31Apr 3, 2024Updated 2 years ago
- State-of-The-Art Rating-based RECOmmendation system: pytorch lightning implementation☆13Oct 10, 2023Updated 3 years ago
- DNS tunneling server, written in Python. See the iOS client code at☆17Jun 6, 2016Updated 10 years ago
- A Modmail bot for Discord. Allowing safe moderator conversations with server members one server at a time.☆14Sep 25, 2024Updated 2 years ago
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 years ago
- Programming blog☆27Sep 11, 2018Updated 8 years ago
- LSP client for any LSP server (provider for auto-complete, lint, hover, etc)☆12Jul 2, 2024Updated 2 years ago
- This is silly☆21Aug 21, 2024Updated 2 years ago
- IDE for Lark-Parser☆30Jun 10, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 4 months ago
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Jun 24, 2026Updated 3 months ago
- Dive into Deep Learning, with Julia programming language and Flux.jl.☆11Oct 28, 2024Updated last year
- ☆19Dec 14, 2025Updated 10 months ago
- this safety is an illusion, exile☆25Jun 23, 2021Updated 5 years ago
- Minimal example of writing a foobar2000 plugin☆18May 3, 2023Updated 3 years ago