I recently discovered that the folks building uv and ruff are also building a type checker, and it already works really well (and fast!), despite beta status:

I recently discovered that the folks building uv and ruff are also building a type checker, and it already works really well (and fast!), despite beta status: https://github.com/astral-sh/ty https://github.com/astral-sh/ty