mikeshardmind / lumiLinks
Replacing Python's type system.
☆18Updated 3 months ago
Alternatives and similar repositories for lumi
Users that are interested in lumi are comparing it to the libraries listed below
Sorting:
- Collecting examples of unsoundness in the Python type system☆69Updated last week
- Run mypy and pyright over millions of lines of code☆102Updated this week
- Based Python static type checker with baseline, sane default settings and based typing features☆195Updated last month
- Decisions by the Python Typing Council☆48Updated last year
- Python Typing Intersection examples☆49Updated last year
- Analysis of issues in the mypy issue tracker☆17Updated 3 months ago
- Phantom types for Python.☆226Updated 2 weeks ago
- Useful types for Python☆145Updated last week
- Draft specification for the Python type system☆13Updated last year
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Retrieve information from typeshed and other typing stubs☆29Updated last week
- A Python type checker☆26Updated this week
- Automatically add simple type annotations to your code☆270Updated last month
- Try Pyright in your browser☆21Updated last year
- Opinionated typing package for precise type hints in Python☆66Updated this week
- Flake8 plugin for managing type-checking imports & forward references.☆122Updated 8 months ago
- A Python type checker☆374Updated last week
- 🎰 Ensure your __slots__ are working properly☆112Updated last week
- GitHub Action for pyright☆96Updated this week
- Composable external iteration.☆21Updated 4 months ago
- Pyright language server integration for PyCharm Professional☆54Updated 9 months ago
- A simple immutable dictionary for Python☆169Updated 7 months ago
- Runtime components for use with basedmypy☆10Updated 10 months ago
- hatch plugin to use pip-compile (or uv) to manage project dependencies and lockfiles☆95Updated 2 months ago
- Hatch build hook plugin for Mypyc☆50Updated last year
- Add default values to stubs☆16Updated last week
- Experimental Python API for Ruff☆30Updated 2 weeks ago
- A low-level library for installing from a Python wheel distribution.☆137Updated this week
- Python dependency specifications supporting logical operations☆27Updated 2 months ago
- Backport of PEP 654 (exception groups)☆48Updated last week