GitHub repository: notJoon/borrow
Primary language: Rust
Description: borrow check logic inspired from rust's NLL