Explore @JuliaSymbolics Open Source projects

@JuliaSymbolics

JuliaSymbolics

Stars
2,172
Global Org. Rank 8,727 (Top 3 %)
Registered over 5 years ago
Most used languages

Julia
87.5 %

CSS
12.5 %

Symbolics.jl

Symbolic programming for the next generation of numerical software

SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Metatheory.jl

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

TermInterface.jl

interface for symbolic terms

SymbolicSAT.jl

for you with the good questions

Rewriters.jl

A library for composing together term rewriting combinators.

JuliaSymbolics.org

Website for the JuliaSymbolics organization.

Resources

A repository for storing resources like logos