term-rewriting topic

Tools for transparent data transformation

noprompt

Pure programming language

agraef

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...

JuliaSymbolics

Symbolic parser for Julia language term rewriting using REDUCE algebra

chakravala

:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

axkr

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

usethesource

A library for pattern matching on symbolic expressions in Python.

HPAC

Tools for rapid prototyping of DSL compilers

true-grue

Algebraic simplification in Julia

HarrisonGrodin

A simple package to do symbolic math (focus on code gen and DSLs)

inducer