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