mikeshardmind / lumiLinks
Replacing Python's type system.
☆18Updated last month
Alternatives and similar repositories for lumi
Users that are interested in lumi are comparing it to the libraries listed below
Sorting:
- collection of short articles about Python's gradual typing system☆7Updated 5 months ago
- Decisions by the Python Typing Council☆48Updated 10 months ago
- Collecting examples of unsoundness in the Python type system☆62Updated 3 weeks ago
- Run mypy and pyright over millions of lines of code☆99Updated this week
- Based Python static type checker with baseline, sane default settings and based typing features☆192Updated last month
- Draft specification for the Python type system☆13Updated last year
- Retrieve information from typeshed and other typing stubs☆28Updated 2 weeks ago
- Automatically add simple type annotations to your code☆263Updated 10 months ago
- Useful types for Python☆139Updated last month
- Analysis of issues in the mypy issue tracker☆16Updated last month
- Phantom types for Python.☆223Updated last week
- Write compiled bytecode inline with pure Python. 🤖☆78Updated 11 months ago
- Python Typing Intersection examples☆47Updated last year
- 🎰 Ensure your __slots__ are working properly☆110Updated 3 weeks ago
- Experimental Python API for Ruff☆27Updated 7 months ago
- Try Pyright in your browser☆21Updated last year
- A plugin for Flake8 that provides specializations for type hinting stub files☆78Updated last month
- Flake8 plugin for managing type-checking imports & forward references.☆121Updated 6 months ago
- A Python type checker☆24Updated last week
- Backport for type hinting generics in standard collections and union types as X | Y☆18Updated 4 years ago
- Protocols intersection for mypy☆33Updated 5 months ago
- CLI to open PEPs in your browser☆37Updated last month
- Pyright language server integration for PyCharm Professional☆54Updated 7 months ago
- generate random python code to test linter/formatter/and other tools☆44Updated last month
- GitHub Action for pyright☆94Updated last week
- Add default values to stubs☆13Updated last week
- A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date',…☆85Updated 2 weeks ago
- A simple immutable dictionary for Python☆163Updated 5 months ago
- derive types from other types to make it easier to type code!☆18Updated last week
- Flake8 Type Annotation Checking☆164Updated last week