¶Languages » Python » Red Knot
Red Knot is the type checker that we are adding to Ruff.
Red Knot is implemented in Rust.
The type checker leans heavily on lazy, incremental computation, as provided by salsa.
This page is also available via Gemini at gemini://dcreager.net/languages/python/red-knot/