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.3k 146

  2. SymbolicUtils.jl SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    Julia 523 99

  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 346 44

Repositories

Showing 8 of 8 repositories
  • SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    JuliaSymbolics/SymbolicUtils.jl’s past year of commit activity
    Julia 523 99 116 (1 issue needs help) 35 Updated Jun 27, 2024
  • 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 346 MIT 44 31 (1 issue needs help) 3 Updated Jun 27, 2024
  • Symbolics.jl Public

    Symbolic programming for the next generation of numerical software

    JuliaSymbolics/Symbolics.jl’s past year of commit activity
    Julia 1,312 146 393 (3 issues need help) 46 Updated Jun 27, 2024
  • TermInterface.jl Public

    interface for symbolic terms

    JuliaSymbolics/TermInterface.jl’s past year of commit activity
    Julia 36 4 2 0 Updated Jun 23, 2024
  • 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
  • Rewriters.jl Public

    A library for composing together term rewriting combinators.

    JuliaSymbolics/Rewriters.jl’s past year of commit activity
    Julia 5 MIT 0 1 0 Updated Sep 10, 2021
  • SymbolicSAT.jl Public

    for you with the good questions

    JuliaSymbolics/SymbolicSAT.jl’s past year of commit activity
    Julia 27 1 2 0 Updated Aug 16, 2021
  • 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

Loading…

Most used topics

Loading…