Datafrog: A lightweight Datalog engine in Rust 4 years agoIt looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54... 0ThreadHN