JuliaSymbolics
Results
5
repositories owned by
JuliaSymbolics
Symbolics.jl
1.3k
Stars
140
Forks
Watchers
Symbolic programming for the next generation of numerical software
Metatheory.jl
341
Stars
44
Forks
Watchers
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...
SymbolicUtils.jl
514
Stars
98
Forks
Watchers
Symbolic expressions, rewriting and simplification