Skip to content
@JuliaSymbolics

JuliaSymbolics

A fast and modern CAS for a fast and modern language

Pinned Loading

  1. Symbolics.jl Public

    Symbolic programming for the next generation of numerical software

    Julia 1.4k 167

  2. SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    Julia 546 121

  3. JuliaSymbolics.org Public

    Website for the JuliaSymbolics organization.

    CSS 4 6

  4. 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 369 45

Repositories

Showing 8 of 8 repositories
  • SymbolicUtils.jl Public

    Symbolic expressions, rewriting and simplification

    Julia 546 121 128 (1 issue needs help) 52 Updated Apr 21, 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.

    Julia 369 MIT 45 40 (1 issue needs help) 13 Updated Apr 15, 2025
  • Symbolics.jl Public

    Symbolic programming for the next generation of numerical software

    Julia 1,409 167 431 (5 issues need help) 45 Updated Apr 14, 2025
  • TermInterface.jl Public

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

    Julia 38 6 1 0 Updated Dec 1, 2024
  • JuliaSymbolics.org Public

    Website for the JuliaSymbolics organization.

    CSS 4 6 1 0 Updated Jun 21, 2024
  • Rewriters.jl Public

    A library for composing together term rewriting combinators.

    Julia 5 MIT 0 1 0 Updated Sep 10, 2021
  • SymbolicSAT.jl Public

    for you with the good questions

    Julia 26 1 2 0 Updated Aug 16, 2021
  • Resources Public

    A repository for storing resources like logos

    Julia 1 MIT 1 0 0 Updated Mar 3, 2021

Top languages

Loading…

Most used topics

Loading…