2 repositories on SrcLog
An awesome list of e-graph resources
Jupyter notebooks for tutorial on the Z3 SMT solver