An awesome list of e-graph resources - View it on GitHub