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