Pinned Repositories
JuliaSymbolics.org
Website for the JuliaSymbolics organization.
Metatheory.jl
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.
Resources
A repository for storing resources like logos
Rewriters.jl
A library for composing together term rewriting combinators.
Symbolics.jl
Symbolic programming for the next generation of numerical software
SymbolicSAT.jl
for you with the good questions
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
JuliaSymbolics's Repositories
JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
JuliaSymbolics/SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
JuliaSymbolics/Metatheory.jl
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.
JuliaSymbolics/TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
JuliaSymbolics/SymbolicSAT.jl
for you with the good questions
JuliaSymbolics/Rewriters.jl
A library for composing together term rewriting combinators.
JuliaSymbolics/JuliaSymbolics.org
Website for the JuliaSymbolics organization.
JuliaSymbolics/Resources
A repository for storing resources like logos