Similar repositories to egraphs-good/egg: