¶Salsa
Salsa is an incremental computation framework, originally created for the rust-analyzer language server. We're also using it at Astral in our Red Knot type checker.
This page is also available via Gemini at gemini://dcreager.net/languages/rust/salsa/