GitHub repository: Alex-Fischman/egglog
Primary language: Rust
Description: egraphs + datalog!