GitHub repository: JC-Chen1/egg
Primary language: Rust
Description: egg is a flexible, high-performance e-graph library