Symbolic programming for the next generation of numerical software

Symbolic expressions, rewriting and simplification

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.

Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert

A library for composing together term rewriting combinators.