53 results for “topic: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)
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.
Pure programming language
Symbolic parser for Julia language term rewriting using REDUCE algebra
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
A library for pattern matching on symbolic expressions in Python.
A simple package to do symbolic math (focus on code gen and DSLs)
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
The Git repository for the mCRL2 toolset.
Python bindings for the egglog rust library
Tools for rapid prototyping of DSL compilers
Algebraic simplification in Julia
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
E-Graph library
Personal research notes
Reason about Term Rewriting Systems
Neural-Network Guided Expression Transformation
Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Term Rewriting Systems infrastructure
Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
MIRROR of https://codeberg.org/catseye/Arboretuum : A forest-rewriting language; precursor to Treacle.
MIRROR of https://codeberg.org/catseye/Treacle : A compiler-definition language based on "context rewriting"
A toy language based on rewriting using code from Baader and Nipkow.