Replacing Python's type system.
☆21Jul 7, 2025Updated last year
Alternatives and similar repositories for lumi
Users that are interested in lumi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tutorial on Python's type system (always WIP)☆14Jun 15, 2026Updated 4 months ago
- Opinionated typing package for precise type hints in Python☆96Oct 10, 2026Updated last week
- Runtime components for use with basedmypy☆12Nov 21, 2024Updated last year
- Analysis of issues in the mypy issue tracker☆19Jun 25, 2025Updated last year
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 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.
- Collection of async utillities☆34Sep 24, 2026Updated 3 weeks ago
- Collecting examples of unsoundness in the Python type system☆91Updated this week
- Write compiled bytecode inline with pure Python. 🤖☆82Sep 3, 2024Updated 2 years ago
- Type-hinted, simplified interface to `sympy` for solving engineering, science and maths problems.☆14Dec 18, 2023Updated 2 years ago
- Run Python type checkers over millions of lines of code☆115Oct 3, 2026Updated 2 weeks ago
- Add default values to stubs☆19Oct 7, 2026Updated last week
- Backend for Python Discord forms☆11Mar 26, 2026Updated 6 months ago
- various typescript helper functions and utility types☆29Jan 21, 2024Updated 2 years ago
- Python ORM for Postgres☆16Mar 31, 2024Updated 2 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.
- flake8 plugin to enforce new-style type hints (PEP 585)☆23Feb 28, 2023Updated 3 years ago
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 years ago
- Experimental Python API for Ruff☆35Mar 1, 2026Updated 7 months ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 6 years ago
- Mutable variant of namedtuple -- recordclass, which support assignments, compact dataclasses and other memory saving variants.☆38Sep 24, 2026Updated 3 weeks ago
- Sans-io implementation of the (E)SMTP protocol☆19Oct 5, 2026Updated last week
- ☆10Apr 14, 2025Updated last year
- Extra array functions built on top of the array API standard.☆34Updated this week
- Type-level list of kinds for PureScript.☆15Nov 17, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆76Mar 19, 2026Updated 6 months ago
- This is silly☆21Aug 21, 2024Updated 2 years ago
- Haskell language features and standard libraries in pure Python.☆11Aug 23, 2018Updated 8 years ago
- The mypy playground. Try mypy with your web browser.☆78Updated this week
- React like agnostic GUI framework for Python☆15Sep 11, 2024Updated 2 years ago
- A Python library with practical APIs for prettier output.☆12Mar 4, 2024Updated 2 years ago
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 4 years ago
- a pytest plugin that creates robotframework reports for tests written in python and allows you to run robotframework tests with pytest☆41Updated this week
- A Cofunctor is a structure from category theory dual to Functor☆16Apr 29, 2018Updated 8 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.
- ☆25Nov 19, 2025Updated 10 months ago
- All-Inclusive Python Projects☆145Aug 19, 2026Updated last month
- ☆41Oct 8, 2026Updated last week
- Collaborative article editor☆11Updated this week
- Curriculum vitae of Lester James V. Miranda☆10Oct 5, 2026Updated last week
- Based Python static type checker with baseline, sane default settings and based typing features☆202Sep 10, 2025Updated last year
- Solutions to the complete set of assignment problems which I did while crediting Computational Physics course by Prof. Manish Jain at IIS…☆11May 30, 2021Updated 5 years ago