term-rewriting

Tools for transparent data transformation

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

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

Pure programming language

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

A library for pattern matching on symbolic expressions in Python.

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

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

The Git repository for the mCRL2 toolset.

Algebraic simplification in Julia

Tools for rapid prototyping of DSL compilers

Tools for an Aesara-based PPL.

AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.

a Rust implementation of first-order term rewriting systems (TRS)

Expert system with deductive querying and verification of constraints expressed in natural language

Reason about Term Rewriting Systems

Neural-Network Guided Expression Transformation

A tool for the transformation of an irreversible Term Rewriting System into a reversible one

Term Rewriting Systems infrastructure

A toy language based on rewriting using code from Baader and Nipkow.