term-rewriting
There are 50 repositories under term-rewriting topic.
noprompt/meander
Tools for transparent data transformation
usethesource/rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
JuliaSymbolics/Metatheory.jl
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.
agraef/pure-lang
Pure programming language
chakravala/Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
HPAC/matchpy
A library for pattern matching on symbolic expressions in Python.
DenuvoSoftwareSolutions/SiMBA
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
DenuvoSoftwareSolutions/GAMBA
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
inducer/pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
true-grue/raddsl
Tools for rapid prototyping of DSL compilers
egraphs-good/egglog-python
Python bindings for the egg-smol rust library
aesara-devs/aeppl
Tools for an Aesara-based PPL.
aesara-devs/aemcmc
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
joshrule/term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
arcadio/data-logic
Expert system with deductive querying and verification of constraints expressed in natural language
triska/trs
Reason about Term Rewriting Systems
epfl-lara/nugget
Neural-Network Guided Expression Transformation
can-lehmann/egraphs.cpp
E-Graph library
aranega/iguala
Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
mistupv/rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
nathsou/Girafe
Term Rewriting Systems infrastructure
CryptoSolvers/CryptoSolve
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
wkolowski/Type-Theory-Wishlist
Personal research notes
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
Jackojc/unreadable-mlatu
an implementation of mlatu in C++ with a goal towards performance
catseye/Treacle
MIRROR of https://codeberg.org/catseye/Treacle : A compiler-definition language based on "context rewriting"
ruudkoot/phd
Stuff related to my Ph.D. research
smucclaw/l4-lp
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
symcollab/CryptoSolve
Moved to https://github.com/CryptoSolvers/CryptoSolve
curegit/knuth-bendix-completion
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
HarryR/active-oasis
Tools for permutations of associative elliptic curve operations using term rewriting
joshrule/formal-systems-learning-rs
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
milahu/treepipes
incremental tree transformers
moratori/clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.