You must be logged in to sponsor 0x0f0f0f
Become a sponsor to Alessandro Cheli
Featured work
-
JuliaSymbolics/TermInterface.jl
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
Julia 38 -
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 saturatio…
Julia 363 -
JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
Julia 1,367 -
JuliaSymbolics/SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Julia 542