JuliaSymbolics's repositories
Symbolics.jl
Symbolic programming for the next generation of numerical software
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
TermInterface.jl
interface for symbolic terms
SymbolicSAT.jl
for you with the good questions
Rewriters.jl
A library for composing together term rewriting combinators.
JuliaSymbolics.org
Website for the JuliaSymbolics organization.