tutorial on Python's type system (always WIP)
☆12May 26, 2026Updated this 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.☆21Jul 7, 2025Updated 10 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
- Load .env files into run-time environment and referenceable object. Optional AWS parameter store support.☆13Jan 12, 2025Updated last year
- Backend for Python Discord forms☆11Mar 26, 2026Updated 2 months 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.
- Website for testing snippets of code using the pyright type checker☆64Nov 2, 2025Updated 6 months ago
- ☆57Nov 1, 2025Updated 6 months ago
- A cat that follows your cursor.☆15Feb 13, 2026Updated 3 months ago
- Personal template for most python projects.☆18May 9, 2026Updated 2 weeks ago
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated last month
- 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
- Common operators and Observables for redux-like patterns (e.g. redux and ngrx)☆16May 11, 2018Updated 8 years ago
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 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.
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 4 months ago
- Python type-checker written in Rust☆33Jan 3, 2025Updated last year
- a dumb little script for turning Python apps into standalone executable packages on Windows☆12Jan 2, 2024Updated 2 years ago
- tools for zelda 1 randomizer☆15Aug 20, 2023Updated 2 years ago
- A better THE FINALS leaderboard.☆19Apr 22, 2026Updated last month
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 years ago
- Minimal example of writing a foobar2000 plugin☆18May 3, 2023Updated 3 years ago
- this safety is an illusion, exile☆25Jun 23, 2021Updated 4 years ago
- A blog of Programming Languages Group @Purdue☆12May 18, 2026Updated last week
- 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.
- Generate Minesweeper fields to use in Discord messages.☆14Dec 9, 2022Updated 3 years ago
- Python ORM for Postgres☆16Mar 31, 2024Updated 2 years ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- Multi platform standard input with timeout☆23Jun 12, 2022Updated 3 years ago
- A collection of tools and utilities used throughout our discord bot projects.☆19May 17, 2026Updated last week
- TOML code formatting plugin for dprint☆22Updated this week
- skipIf(condition, name, test)☆12Oct 22, 2021Updated 4 years ago
- Basedpyright extension for coc.nvim☆15May 2, 2026Updated 3 weeks ago
- Python support for Sublime's LSP plugin provided through DetachHead/basedpyright.☆21Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A script to add docstrings to Python type stubs using reflection☆19Feb 13, 2026Updated 3 months ago
- URL shortener using GitHub Pages and Firebase☆13Oct 4, 2023Updated 2 years ago
- Customize what emojis to use on macOS.☆17Mar 3, 2024Updated 2 years ago
- Convert between language server types and Monaco editor types☆24May 9, 2026Updated 2 weeks ago
- JSON code formatting plugin for dprint.☆27May 17, 2026Updated last week
- Updated fork of p0insettia, an iOS 10.3.4 jailbreak for iPhone 5 devices☆22Jun 12, 2025Updated 11 months ago
- escape Markdown control characters☆18Nov 16, 2022Updated 3 years ago