tutorial on Python's type system (always WIP)
☆13Jun 15, 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 11 months ago
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- General messing around with the internals of python☆16Nov 17, 2023Updated 2 years ago
- Backend for Python Discord forms☆11Mar 26, 2026Updated 2 months ago
- Personal template for most python projects.☆19Jun 1, 2026Updated 2 weeks 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.
- Our event bot, for managing community events.☆21Jun 3, 2026Updated 2 weeks ago
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated 2 months ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 years ago
- Magically save your database backups and critical logs in your favorite cloud storage provider.☆51May 11, 2026Updated last month
- Rewrapping FieryIceStickie's Deobfuscation Tools☆11May 1, 2026Updated last month
- Python type-checker written in Rust☆33Jan 3, 2025Updated last year
- Get the number the next pull request will be assigned for a public GitHub repository.☆12Jun 1, 2026Updated 2 weeks 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.
- The Black shade analyser and comparison tool.☆12Nov 25, 2025Updated 6 months ago
- Pixels is an introductory API from Python Discord for painting on a collaborative canvas.☆31Apr 3, 2024Updated 2 years ago
- A better THE FINALS leaderboard.☆20Apr 22, 2026Updated last month
- home-manager module POC for a tracker blocker on the command line☆11May 26, 2026Updated 3 weeks ago
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Nov 17, 2021Updated 4 years ago
- An object diff you can read to your mom☆16Mar 28, 2023Updated 3 years ago
- A Python module & command-line interface for converting between RGB images and executable unicode art☆23Jan 24, 2022Updated 4 years ago
- An easy-to-use asynchronous redis-backed caching utility☆17Jan 30, 2024Updated 2 years ago
- Dive into Deep Learning, with Julia programming language and Flux.jl.☆11Oct 28, 2024Updated last year
- 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.
- Generate a Nix derivation on the fly using an LLM☆30Jun 14, 2025Updated last year
- Nix flake for build Pico HSM/OpenPGP/Fido firmware☆12Nov 5, 2025Updated 7 months ago
- A blog of Programming Languages Group @Purdue☆12May 18, 2026Updated last month
- 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
- Python ORM for Postgres☆16Mar 31, 2024Updated 2 years ago
- Runtime components for use with basedmypy☆12Nov 21, 2024Updated last year
- ☆12Jun 2, 2026Updated 2 weeks ago
- Discord Bot for the Pythonista Guild.☆17Feb 1, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A system tray application for managing Yggdrasil service☆28Jun 8, 2026Updated last week
- Yandex Music Fuse FS☆11Nov 28, 2024Updated last year
- Network emulation for writing integration tests in Go☆14Sep 5, 2025Updated 9 months ago
- Extra modules that nobody needs.☆21Apr 19, 2026Updated last month
- No more stupid dots.☆18Aug 2, 2024Updated last year
- A distributed key value store in ~1,000 lines of code.☆27Sep 18, 2025Updated 9 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13May 18, 2026Updated last month