All Git Users → JuliaSymbolics

3 open source projects by JuliaSymbolics

[ Open user page on Github ]

1. Symbolicutils.jl

Expression rewriting and simplification

✭ 189

julia pattern-matching

2. Symbolics.jl

A fast and modern CAS for a fast and modern language.

✭ 435

julia high-performance mathematics parallel-computing cas

3. Metatheory.jl

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

✭ 266

julia TeX rust optimization symbolic symbolic-manipulation symbolic-computation compiler-optimization term-rewriting compiler-construction equality-saturation egraphs

1-3 of 3 user projects