General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Why do you think that https://github.com/JuliaLinearAlgebra/Octavian.jl is a good alternative to Metatheory.jl