Tools for transparent data transformation

• UpdatedSep 8, 2023
• Clojure

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

• UpdatedDec 16, 2025
• Java

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.

• UpdatedSep 9, 2025
• Julia

Pure programming language

• UpdatedSep 20, 2022
• C++

Symbolic parser for Julia language term rewriting using REDUCE algebra

• UpdatedNov 30, 2025
• Julia

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

• UpdatedOct 12, 2023
• Python

A library for pattern matching on symbolic expressions in Python.

• UpdatedApr 18, 2024
• Python

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

• UpdatedNov 21, 2023
• Python

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

• UpdatedDec 15, 2025
• Python

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

• UpdatedAug 11, 2025
• Python

The Git repository for the mCRL2 toolset.

• UpdatedDec 17, 2025
• C++

Python bindings for the egglog rust library

• UpdatedDec 15, 2025
• JavaScript

Tools for rapid prototyping of DSL compilers

• UpdatedMay 30, 2021
• Python

Algebraic simplification in Julia

• UpdatedSep 25, 2019
• Julia

Tools for an Aesara-based PPL.

• UpdatedOct 28, 2024
• Python

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

• UpdatedOct 23, 2023
• Python

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

• UpdatedDec 28, 2021
• Rust

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

• UpdatedMay 28, 2025
• Prolog

E-Graph library

• UpdatedApr 4, 2024
• C++

Reason about Term Rewriting Systems

• UpdatedJul 24, 2022
• Prolog