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.