Skip to content
@JuliaSymbolics

JuliaSymbolics

A fast and modern CAS for a fast and modern language

Pinned Loading

  1. Symbolics.jl Symbolics.jl Public

    Symbolic programming for the next generation of numerical software

    Julia 1.5k 190

  2. SymbolicUtils.jl SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    Julia 559 139

  3. JuliaSymbolics.org JuliaSymbolics.org Public

    Website for the JuliaSymbolics organization.

    CSS 4 5

  4. Metatheory.jl 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 402 49

Repositories

Showing 10 of 10 repositories
  • 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 402 MIT 49 42 17 Updated Sep 28, 2026
  • SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    JuliaSymbolics/SymbolicUtils.jl's past year of commit activity
    Julia 559 139 138 (1 issue needs help) 67 Updated Sep 28, 2026
  • SymbolicIntegration.jl Public

    Julia implementations of symbolic integration algorithms: Risch method, rule based method

    JuliaSymbolics/SymbolicIntegration.jl's past year of commit activity
    Julia 52 8 11 (1 issue needs help) 8 Updated Sep 27, 2026
  • Symbolics.jl Public

    Symbolic programming for the next generation of numerical software

    JuliaSymbolics/Symbolics.jl's past year of commit activity
    Julia 1,531 190 466 (2 issues need help) 49 Updated Sep 26, 2026
  • SymbolicSMT.jl Public

    Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions

    JuliaSymbolics/SymbolicSMT.jl's past year of commit activity
    Julia 40 2 3 0 Updated Aug 30, 2026
  • Rewriters.jl Public

    A library for composing together term rewriting combinators.

    JuliaSymbolics/Rewriters.jl's past year of commit activity
    Julia 6 MIT 0 1 0 Updated Aug 30, 2026
  • 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 0 Updated Aug 21, 2026
  • Jerbie.jl Public

    This repo include all my writeups for Herbie Project under NumFOCUS/sciML .

    JuliaSymbolics/Jerbie.jl's past year of commit activity
    Julia 2 MIT 1 0 0 Updated Aug 21, 2026
  • JuliaSymbolics.org Public

    Website for the JuliaSymbolics organization.

    JuliaSymbolics/JuliaSymbolics.org's past year of commit activity
    CSS 4 5 1 0 Updated Jun 21, 2024
  • Resources Public

    A repository for storing resources like logos

    JuliaSymbolics/Resources's past year of commit activity
    Julia 1 MIT 1 0 0 Updated Mar 3, 2021

Top languages

Julia CSS

Most used topics

Loading…