GitHub repository: philzook58/awesome-egraphs
Description: An awesome list of e-graph resources