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
- Collecting examples of unsoundness in the Python type system☆73Updated 3 weeks ago
- Phantom types for Python.☆225Updated last week
- Based Python static type checker with baseline, sane default settings and based typing features☆195Updated 2 months ago
- Run mypy and pyright over millions of lines of code☆101Updated 3 weeks ago
- Analysis of issues in the mypy issue tracker☆17Updated 4 months ago
- Automatically add simple type annotations to your code☆271Updated last month
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Python Typing Intersection examples☆49Updated last year
- Useful types for Python☆146Updated last month
- Retrieve information from typeshed and other typing stubs☆29Updated last month
- Opinionated typing package for precise type hints in Python☆68Updated this week
- Try Pyright in your browser☆21Updated 2 years ago
- Draft specification for the Python type system☆13Updated last year
- 🎰 Ensure your __slots__ are working properly☆117Updated last month
- Pyright language server integration for PyCharm Professional☆54Updated 10 months ago
- Add default values to stubs☆16Updated last month
- A Python type checker☆26Updated last week
- generate random python code to test linter/formatter/and other tools☆52Updated last week
- A plugin for Flake8 that provides specializations for type hinting stub files☆80Updated last month
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆52Updated 2 months ago
- A simple immutable dictionary for Python☆169Updated 8 months ago
- Flake8 plugin for managing type-checking imports & forward references.☆125Updated 9 months ago
- Protocols intersection for mypy☆33Updated this week
- Composable external iteration.☆21Updated 4 months ago
- Experimental Python API for Ruff☆31Updated last week
- Python dependency specifications supporting logical operations☆27Updated 3 months ago
- Highly opinionated linter for Trio code☆24Updated last week
- Flake8 Type Annotation Checking☆164Updated last month
- Backport for type hinting generics in standard collections and union types as X | Y☆19Updated 4 years ago