facebook / pyrefly

A fast type checker and language server for Python

youtype / mypy_boto3_builder

Type annotations builder for boto3 compatible with VSCode, PyCharm, Emacs, Sublime Text, pyright and mypy.

pyapp-kit / magicgui

build GUIs from type annotations