JuliaSymbolics

A fast and modern CAS for a fast and modern language

Pinned Repositories

JuliaSymbolics.org
Website for the JuliaSymbolics organization.
Language:CSS4 4 15
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.
Language:Julia337 11 11443
Resources
A repository for storing resources like logos
Language:Julia1 5 01
Rewriters.jl
A library for composing together term rewriting combinators.
Language:Julia5 8 20
Symbolics.jl
Symbolic programming for the next generation of numerical software
Language:Julia1.3k 22 649141
SymbolicSAT.jl
for you with the good questions
Language:Julia27 5 21
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Language:Julia507 18 25597
TermInterface.jl
interface for symbolic terms
Language:Julia30 6 104

JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
Language:Julia1.3k 22 649141
JuliaSymbolics/SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Language:Julia507 18 25597
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 saturation, term rewriting and more.
Language:Julia337 11 11443
JuliaSymbolics/TermInterface.jl
interface for symbolic terms
Language:Julia30 6 104
JuliaSymbolics/SymbolicSAT.jl
for you with the good questions
Language:Julia27 5 21
JuliaSymbolics/Rewriters.jl
A library for composing together term rewriting combinators.
Language:Julia5 8 20
JuliaSymbolics/JuliaSymbolics.org
Website for the JuliaSymbolics organization.
Language:CSS4 4 15
JuliaSymbolics/Resources
A repository for storing resources like logos
Language:Julia1 5 01