GitHub repository: yycdavid/egg
Primary language: Rust
Description: egraphs good