Metatheory (julia): General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Keywords: compiler-optimization|equality-saturation|compiler-construction|symbolic-computation|programming-language|optimization|term-rewriting|egraphs|symbolic|symbolic-manipulation|julia