GitHub repository: namin/egg
Description: egg is a flexible, high-performance e-graph library