GitHub repository: remysucre/egg
Primary language: Rust
Description: egraphs in rust