KotlinIsland

basedmypy. Based Python static type checker with baseline, sane default settings and based typing features

basedtyping. Runtime components for use with basedmypy

basedpython. Rust

pydantic-basedtyping. pydantic plugin to provide support for basedtyping

intellibot. IntelliJ/PyCharm plugin for Robot Automation Framework

inspections-for-linters. An Intellij platform plugin that generates in editor inspections from external tools.

jsontypes. Python

typeshed. Collection of library stubs for Python, with static types

mypy-intellij. mypy support for IntelliJ/PyCharm

tool-to-inspection. Generate inspections from output of executables

mypy_mypyc-wheels. Automated builds of mypy_mypyc wheels

trim-indent. TypeScript

basedpython-by. An extremely fast basedython type checker and language server, written in Rust.