Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
-
Updated
Nov 21, 2023 - Python
#
term-rewriting
Here are 16 public repositories matching this topic...
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
-
Updated
Oct 12, 2023 - Python
A library for pattern matching on symbolic expressions in Python.
-
Updated
Apr 18, 2024 - Python
A simple package to do symbolic math (focus on code gen and DSLs)
-
Updated
Dec 15, 2025 - Python
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
-
Updated
Aug 11, 2025 - Python
Tools for rapid prototyping of DSL compilers
python parser-combinators compiler dsl metaprogramming pratt-parser ast python3 source-to-source code-generation peg term-rewriting compiler-construction dsl-compilers pratt meta-compiler
-
Updated
May 30, 2021 - Python
Tools for an Aesara-based PPL.
statistics probability symbolic-computation ppl bayesian-statistics term-rewriting modeling-and-simulation
-
Updated
Oct 28, 2024 - Python
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
-
Updated
Oct 23, 2023 - Python
Neural-Network Guided Expression Transformation
-
Updated
Apr 15, 2018 - Python
Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
python search matching pattern-matching metaprogramming ast python-ast term-rewriting abstract-syntax-tree
-
Updated
Nov 3, 2024 - Python
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
-
Updated
Mar 11, 2024 - Python
-
Updated
Apr 14, 2023 - Python
RERUM - Rewriting Expressions via Rules Using Morphisms. A pattern matching and term rewriting library for symbolic computation.
-
Updated
Jan 4, 2026 - Python
Tools for permutations of associative elliptic curve operations using term rewriting
-
Updated
Dec 31, 2017 - Python
A library for first-order term-rewriting
-
Updated
Sep 17, 2025 - Python
confluin does confluence checks for Tamarin input files
-
Updated
May 23, 2018 - Python
Improve this page
Add a description, image, and links to the term-rewriting topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the term-rewriting topic, visit your repo's landing page and select "manage topics."