mikeshardmind / lumiLinks
Replacing Python's type system.
☆18Updated 4 months ago
Alternatives and similar repositories for lumi
Users that are interested in lumi are comparing it to the libraries listed below
Sorting:
- Decisions by the Python Typing Council☆48Updated last year
- Based Python static type checker with baseline, sane default settings and based typing features☆195Updated 2 months ago
- Phantom types for Python.☆226Updated 3 weeks ago
- Collecting examples of unsoundness in the Python type system☆73Updated last month
- Run mypy and pyright over millions of lines of code☆102Updated last week
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Useful types for Python☆146Updated last month
- Draft specification for the Python type system☆13Updated last year
- Analysis of issues in the mypy issue tracker☆17Updated 5 months ago
- Python Typing Intersection examples☆50Updated last year
- Automatically add simple type annotations to your code☆271Updated 2 months ago
- Retrieve information from typeshed and other typing stubs☆29Updated last month
- Try Pyright in your browser☆21Updated 2 years ago
- 🎰 Ensure your __slots__ are working properly☆117Updated last month
- CLI to open PEPs in your browser☆37Updated last month
- Experimental Python API for Ruff☆32Updated 3 weeks ago
- ☆39Updated last year
- Opinionated typing package for precise type hints in Python☆68Updated this week
- derive types from other types to make it easier to type code!☆21Updated this week
- Add default values to stubs☆16Updated last month
- A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date',…☆90Updated 2 weeks ago
- A Python type checker☆26Updated this week
- the missing toolbox for an async world☆329Updated this week
- Runtime components for use with basedmypy☆10Updated last year
- A plugin for Flake8 that provides specializations for type hinting stub files☆80Updated last month
- generate random python code to test linter/formatter/and other tools☆53Updated this week
- Python dependency specifications supporting logical operations☆28Updated 3 months ago
- Pyright language server integration for PyCharm Professional☆54Updated 11 months ago
- Backport of PEP 654 (exception groups)☆48Updated last week
- This repo contains an issue tracker, examples, and early work related to PEP 999: Tag Strings☆52Updated last year