Explore @JuliaSymbolics Open Source projects

@JuliaSymbolics

JuliaSymbolics

Stars
2,323
Global Org. Rank 8,512 (Top 3 %)
Registered almost 6 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

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

TermInterface.jl

Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert

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