GitHub repository: noamraph/polonius
Description: Defines the Rust borrow checker.