Tools for transparent data transformation
-
Updated
Sep 8, 2023 - Clojure
#
term-rewriting
Here are 53 public repositories matching this topic...
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
language interpreter compiler checker pattern-matching parser-generator static-analysis template-language repl reverse-engineering metaprogramming source-to-source code-generation standard-library domain-specific-language query-language relational-algebra term-rewriting refactoring-tools
-
Updated
Aug 9, 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.
programming-language optimization julia symbolic symbolic-manipulation symbolic-computation compiler-optimization term-rewriting compiler-construction equality-saturation egraphs
-
Updated
Aug 1, 2025 - Julia
Pure programming language
-
Updated
Sep 20, 2022 - C++
Symbolic parser for Julia language term rewriting using REDUCE algebra
algebra math computer-algebra julia parser-generator repl metaprogramming syntax-tree reduce symbolic-computation term-rewriting
-
Updated
Oct 10, 2024 - Julia
A library for pattern matching on symbolic expressions in Python.
-
Updated
Apr 18, 2024 - Python
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
-
Updated
Oct 12, 2023 - Python
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
-
Updated
Nov 21, 2023 - Python
A simple package to do symbolic math (focus on code gen and DSLs)
-
Updated
Jul 31, 2025 - Python
The Git repository for the mCRL2 toolset.
-
Updated
Aug 8, 2025 - C++
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
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
-
Updated
Aug 9, 2025 - Python
Python bindings for the egg-smol rust library
-
Updated
Aug 8, 2025 - JavaScript
Algebraic simplification in Julia
algebra julia reduction simplification rewrite-system term-rewriting julialang rewriting rewriting-system
-
Updated
Sep 25, 2019 - Julia
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
a Rust implementation of first-order term rewriting systems (TRS)
-
Updated
Dec 28, 2021 - Rust
Expert system with deductive querying and verification of constraints expressed in natural language
nlp dsl metaprogramming prolog ontology dcg logic-programming term-rewriting expert-system symbolic-ai
-
Updated
May 28, 2025 - Prolog
Personal research notes
dependent-types functional-programming proof-assistant type-theory cubical-type-theory programming-languages term-rewriting nominal-set homotopy-type-theory
-
Updated
Oct 18, 2024 - Coq
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."