Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
programming-language
optimization
julia
symbolic
symbolic-manipulation
symbolic-computation
compiler-optimization
term-rewriting
compiler-construction
equality-saturation
egraphs
-
Updated
May 22, 2024 - Julia