A tool that generates type‑safe code from SQL queries; included though not discussed within the workshop.