mikeshardmind / lumi
Replacing Python's type system.
☆19Updated 3 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
- Retrieve information from typeshed and other typing stubs☆20Updated 2 months ago
- Try Pyright in your browser☆21Updated last year
- Composable external iteration.☆21Updated 6 months ago
- Experimental Python API for Ruff☆16Updated 2 weeks ago
- Analysis of issues in the mypy issue tracker☆11Updated 2 weeks ago
- Run mypy and pyright over millions of lines of code☆59Updated 3 weeks ago
- Useful types for Python☆101Updated last month
- 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 last month
- Draft specification for the Python type system☆13Updated 11 months ago
- Opinionated typing package for precise type hints in Python☆16Updated this week
- Based Python static type checker with baseline, sane default settings and based typing features☆143Updated this week
- Flake8 plugin for managing type-checking imports & forward references.☆113Updated last week
- ☆54Updated 2 weeks ago
- Backport of PEP 654 (exception groups)☆42Updated 3 weeks ago
- 🎰 Ensure your __slots__ are working properly☆89Updated last week
- generate random python code to test linter/formatter/and other tools☆40Updated this week
- This repo contains an issue tracker, examples, and early work related to PEP 999: Tag Strings☆51Updated 2 months ago
- Phantom types for Python.☆202Updated 2 weeks ago
- Python dependency specifications supporting logical operations☆21Updated last month
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆49Updated 2 months ago
- Time dilation & contraction in asyncio event loops (in tests)☆28Updated 2 years ago
- Easy creation of custom import hooks to experiment on alternatives to Python's syntax; see https://aroberge.github.io/ideas/docs/html/☆79Updated 11 months ago
- Python Typing Intersection examples☆33Updated 7 months ago
- flake8 plugin to validate #noqa comments - Mirror of https://gitlab.linss.com/open-source/flake8/flake8-noqa☆41Updated 10 months ago
- Over 600 fast Python bindings to the CPython C API. 🤯☆59Updated 2 months ago
- Automatically add simple type annotations to your code☆239Updated last month