Movatterモバイル変換

PinnedLoading

Symbolics.jl

Public

Symbolic programming for the next generation of numerical software

Julia 1.5k 172

SymbolicUtils.jl

Public

Symbolic expressions, rewriting and simplification

Julia 560 123

JuliaSymbolics.org

Public

Website for the JuliaSymbolics organization.

CSS 4 5

Metatheory.jl

Public

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 391 45

Showing 9 of 9 repositories

SymbolicUtils.jl Public
Symbolic expressions, rewriting and simplification
JuliaSymbolics/SymbolicUtils.jl’s past year of commit activity
Julia 560 123 133 (1 issue needs help) 55 UpdatedNov 28, 2025
Symbolics.jl Public
Symbolic programming for the next generation of numerical software
JuliaSymbolics/Symbolics.jl’s past year of commit activity
Julia 1,473 172 455 (2 issues need help) 40 UpdatedNov 28, 2025
SymbolicIntegration.jl Public
Julia implementations of symbolic integration algorithms. Risch method, Rule-based integration (RUBI), and much more.
JuliaSymbolics/SymbolicIntegration.jl’s past year of commit activity
Julia 15 3 5 4 UpdatedNov 24, 2025
SymbolicSMT.jl Public
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
JuliaSymbolics/SymbolicSMT.jl’s past year of commit activity
Julia 35 2 2 2 UpdatedNov 7, 2025
Metatheory.jl Public
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.
JuliaSymbolics/Metatheory.jl’s past year of commit activity
Julia 391MIT 45 42 (1 issue needs help) 13 UpdatedSep 9, 2025
TermInterface.jl Public
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
JuliaSymbolics/TermInterface.jl’s past year of commit activity
Julia 41 6 1 2 UpdatedSep 1, 2025
JuliaSymbolics.org Public
Website for the JuliaSymbolics organization.
JuliaSymbolics/JuliaSymbolics.org’s past year of commit activity
CSS 4 5 1 0 UpdatedJun 21, 2024
Rewriters.jl Public
A library for composing together term rewriting combinators.
JuliaSymbolics/Rewriters.jl’s past year of commit activity
Julia 6MIT0 1 0 UpdatedSep 10, 2021
Resources Public
A repository for storing resources like logos
JuliaSymbolics/Resources’s past year of commit activity
Julia 1MIT 1 0 0 UpdatedMar 3, 2021