Pinned

1. Symbolics.jl Symbolics.jl Public

   Symbolic programming for the next generation of numerical software

   Julia 1.3k 137

2. SymbolicUtils.jl SymbolicUtils.jl Public

   Symbolic expressions, rewriting and simplification

   Julia 502 96

3. JuliaSymbolics.org JuliaSymbolics.org Public

   Website for the JuliaSymbolics organization.

   CSS 4 5

4. Metatheory.jl Metatheory.jl Public

   General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

   Julia 334 43