tutorial on Python's type system (always WIP)
☆11Mar 17, 2026Updated last week
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.☆20Jul 7, 2025Updated 8 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
- Our community bot, used for running the server.☆18Nov 10, 2023Updated 2 years ago
- General messing around with the internals of python☆16Nov 17, 2023Updated 2 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.
- Load .env files into run-time environment and referenceable object. Optional AWS parameter store support.☆13Jan 12, 2025Updated last year
- Website for testing snippets of code using the pyright type checker☆63Nov 2, 2025Updated 4 months ago
- Our event bot, for managing community events.☆21Mar 1, 2026Updated 3 weeks ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Ball and Chain Decorators☆42Aug 8, 2021Updated 4 years ago
- write DefaultProps for function components in a painless way☆11Aug 20, 2019Updated 6 years ago
- Collecting examples of unsoundness in the Python type system☆77Updated this week
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- The Black shade analyser and comparison tool.☆12Nov 25, 2025Updated 4 months ago
- Collection of various snippets/files that I made.☆17Aug 13, 2025Updated 7 months 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
- A work-in-progress Discord API wrapper written in Python.☆12Jan 7, 2023Updated 3 years ago
- An easy-to-use asynchronous redis-backed caching utility☆18Jan 30, 2024Updated 2 years ago
- IDE for Lark-Parser☆31Jun 10, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generate a Nix derivation on the fly using an LLM☆30Jun 14, 2025Updated 9 months ago
- A blog of Programming Languages Group @Purdue☆11Mar 20, 2026Updated last week
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Nov 5, 2025Updated 4 months ago
- 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
- Gachimuchi-themed programming language☆12Nov 17, 2020Updated 5 years ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- ☆12Updated this week
- A discord bot with commands surrounding The Simpsons, Futurama and Rick and Morty and more!☆12Sep 8, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Extra modules that nobody needs.☆21Jan 9, 2026Updated 2 months ago
- No more stupid dots.☆18Aug 2, 2024Updated last year
- Elixir NIF bindings for the Resvg library.☆30Feb 12, 2026Updated last month
- A distributed key value store in ~1,000 lines of code.☆27Sep 18, 2025Updated 6 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated 2 months ago
- TOML code formatting plugin for dprint☆22Feb 27, 2025Updated last year
- A collection of tools and utilities used throughout our discord bot projects.☆19Mar 11, 2026Updated 2 weeks ago