Alternatives and similar repositories for lumi

Users that are interested in lumi are comparing it to the libraries listed below

• JelleZijlstra / unsoundness
  Collecting examples of unsoundness in the Python type system
  ☆74Updated 2 months ago
• decorator-factory / typing-tips
  tutorial on Python's type system (always WIP)
  ☆10Updated last month
• python / typing-council
  Decisions by the Python Typing Council
  ☆49Updated last year
• hauntsaninja / mypy_primer
  Run Python type checkers over millions of lines of code
  ☆105Updated this week
• antonagestam / phantom-types
  Phantom types for Python.
  ☆232Updated last week
• CarliJoy / intersection_examples
  Python Typing Intersection examples
  ☆50Updated last year
• KotlinIsland / basedmypy
  Based Python static type checker with baseline, sane default settings and based typing features
  ☆196Updated 4 months ago
• hauntsaninja / useful_types
  Useful types for Python
  ☆149Updated this week
• erictraut / mypy_issues
  Analysis of issues in the mypy issue tracker
  ☆17Updated 6 months ago
• JelleZijlstra / typing-spec
  Draft specification for the Python type system
  ☆13Updated 2 years ago
• klausweiss / typing-protocol-intersection
  Protocols intersection for mypy
  ☆34Updated last month
• decorator-factory / pyright-playground
  Try Pyright in your browser
  ☆21Updated 2 years ago
• JelleZijlstra / pycroscope
  A Python type checker
  ☆26Updated 3 weeks ago
• JelleZijlstra / stubdefaulter
  Add default values to stubs
  ☆17Updated this week
• ariebovenberg / slotscheck
  🎰 Ensure your __slots__ are working properly
  ☆119Updated this week
• PyCQA / flake8-pyi
  A plugin for Flake8 that provides specializations for type hinting stub files
  ☆80Updated this week
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆81Updated last year
• 15r10nk / pysource-codegen
  generate random python code to test linter/formatter/and other tools
  ☆53Updated this week
• JelleZijlstra / typeshed_client
  Retrieve information from typeshed and other typing stubs
  ☆30Updated this week
• amyreese / ruff-api
  Experimental Python API for Ruff
  ☆33Updated last week
• glyph / DateType
  A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date',…
  ☆91Updated last month
• JelleZijlstra / autotyping
  Automatically add simple type annotations to your code
  ☆279Updated 3 months ago
• agronholm / exceptiongroup
  Backport of PEP 654 (exception groups)
  ☆48Updated this week
• hugovk / pepotron
  CLI to open PEPs in your browser
  ☆37Updated this week
• jorenham / optype
  Opinionated typing package for precise type hints in Python
  ☆73Updated this week
• dry-python / lambdas
  Write short and fully-typed lambdas where you need them.
  ☆285Updated 2 years ago
• asottile / typing-derive
  derive types from other types to make it easier to type code!
  ☆22Updated 2 weeks ago
• InSyncWithFoo / pyright-langserver-for-pycharm
  Pyright language server integration for PyCharm Professional
  ☆54Updated last year
• nekitdev / iters
  Composable external iteration.
  ☆21Updated 6 months ago
• KotlinIsland / basedtyping
  Runtime components for use with basedmypy
  ☆10Updated last year