GitHub repository: rust-lang/polonius
Primary language: Rust
Description: Defines the Rust borrow checker.