JuliaSymbolics

A fast and modern CAS for a fast and modern language

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

Julia 269 MIT 34 35 (3 issues need help) 4 Updated Oct 20, 2022
Symbolics.jl Public
A fast and modern CAS for a fast and modern language.

Julia 1,057 102 256 (3 issues need help) 24 Updated Oct 17, 2022
SymbolicUtils.jl Public
Expression rewriting and simplification

Julia 410 73 86 (1 issue needs help) 19 Updated Oct 13, 2022
JuliaSymbolics.org Public
Website for the JuliaSymbolics organization.

CSS 4 4 0 0 Updated Oct 12, 2022
TermInterface.jl Public
interface for symbolic terms

Julia 20 3 2 1 Updated Aug 29, 2022
Rewriters.jl Public
A library for composing together term rewriting combinators.

Julia 4 MIT 1 1 0 Updated Sep 10, 2021
SymbolicSAT.jl Public
for you with the good questions

Julia 27 2 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

Pinned