tutorial on Python's type system (always WIP)
☆14Jun 15, 2026Updated 3 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:
- Replacing Python's type system.☆21Jul 7, 2025Updated last year
- 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 6 months 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.
- Website for testing snippets of code using the pyright type checker☆66Nov 2, 2025Updated 10 months ago
- Personal template for most python projects.☆19Jun 20, 2026Updated 3 months ago
- Our event bot, for managing community events.☆21Aug 24, 2026Updated last month
- write DefaultProps for function components in a painless way☆11Aug 20, 2019Updated 7 years ago
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 4 years ago
- Rewrapping FieryIceStickie's Deobfuscation Tools☆11Aug 1, 2026Updated last month
- Extended Inspect - View and modify memory structures of runtime objects.☆39Updated this week
- A Cofunctor is a structure from category theory dual to Functor☆16Apr 29, 2018Updated 8 years ago
- Collecting examples of unsoundness in the Python type system☆84Sep 17, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 years ago
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 7 months ago
- ☆10Mar 29, 2018Updated 8 years ago
- Cli tool to pass arguments to nix flakes☆11May 6, 2024Updated 2 years ago
- 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
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is silly☆21Aug 21, 2024Updated 2 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
- IDE for Lark-Parser☆29Jun 10, 2023Updated 3 years ago
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Jun 24, 2026Updated 3 months ago
- A discord bot with commands surrounding The Simpsons, Futurama and Rick and Morty and more!☆12Aug 1, 2026Updated last month
- A Python module & command-line interface for converting between RGB images and executable unicode art☆24Jan 24, 2022Updated 4 years ago
- Python type-checker written in Rust☆33Jan 3, 2025Updated last year
- Run any version of any Nix package in one command... `vx hugo-0.139.0 serve`☆17Apr 15, 2026Updated 5 months 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.
- Discord Bot for the Pythonista Guild.☆17Feb 1, 2025Updated last year
- Runtime components for use with basedmypy☆12Nov 21, 2024Updated last year
- ☆13Jun 2, 2026Updated 3 months ago
- Criminal Identification System using Face detection and recognition.☆19Sep 30, 2020Updated 5 years ago
- Demo app with Django Channels to control Lights over websockets. Made for PyStPete meetup(https://www.meetup.com/Saint-Petersburg-Python-…☆13Mar 1, 2017Updated 9 years ago
- Elixir NIF bindings for the Resvg library.☆30Sep 7, 2026Updated 3 weeks ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jul 10, 2026Updated 2 months ago