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