GitHub repository: rust-lang/datafrog
Primary language: Rust
Description: A lightweight Datalog engine in Rust