mikeshardmind / lumi
Replacing Python's type system.
☆19Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for lumi
- Decisions by the Python Typing Council☆43Updated last month
- collection of short articles about Python's gradual typing system☆13Updated 4 months ago
- Write compiled bytecode inline with pure Python. 🤖☆76Updated 2 months ago
- Analysis of issues in the mypy issue tracker☆11Updated last week
- Phantom types for Python.☆199Updated this week
- Retrieve information from typeshed and other typing stubs☆20Updated last month
- Try Pyright in your browser☆21Updated last year
- Useful types for Python☆95Updated last month
- Flake8 plugin for managing type-checking imports & forward references.☆113Updated 5 months ago
- Python Typing Intersection examples☆33Updated 6 months ago
- 🎰 Ensure your __slots__ are working properly☆89Updated 2 weeks ago
- Draft specification for the Python type system☆13Updated 10 months ago
- Based Python static type checker with baseline, sane default settings and based typing features☆144Updated this week
- Python dependency specifications supporting logical operations☆21Updated last month
- Run mypy and pyright over millions of lines of code☆58Updated 2 weeks ago
- Opinionated typing package for precise type hints in Python☆13Updated this week
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆49Updated 2 months ago
- The build backend used by PDM that supports latest packaging standards.☆70Updated this week
- A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date',…☆73Updated 8 months ago
- A plugin for Flake8 that provides specializations for type hinting stub files☆73Updated 3 weeks ago
- Flake8 Type Annotation Checking☆156Updated this week
- This repo contains an issue tracker, examples, and early work related to PEP 999: Tag Strings☆51Updated 2 months ago
- Toml sorting library☆90Updated 10 months ago
- itertools and builtins for AsyncIO and mixed iterables☆243Updated last week
- ☆37Updated this week
- ☆53Updated last week
- Deserialize to objects while staying DRY☆158Updated last year
- ☆67Updated this week
- Automatically remove unnecessary `# noqa` comments☆267Updated last week
- Backport of PEP 654 (exception groups)☆42Updated last week