5 Packages since 2020
User Packages
-
Rewriters.jl4A library for composing together term rewriting combinators.
-
TermInterface.jl22Interface for symbolic terms
-
Symbolics.jl1169A fast and modern CAS for a fast and modern language.
-
Metatheory.jl299General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
-
SymbolicUtils.jl454Expression rewriting and simplification
View all packages