Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
-
Updated
Jun 5, 2024 - Clojure
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
The Git repository for the mCRL2 toolset.
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.
Python bindings for the egg-smol rust library
A simple package to do symbolic math (focus on code gen and DSLs)
Tools for an Aesara-based PPL.
Symbolic parser for Julia language term rewriting using REDUCE algebra
A library for pattern matching on symbolic expressions in Python.
Personal research notes
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Tools for transparent data transformation
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
Stuff related to my Ph.D. research
A simple e-graph implementation for educational purposes
Add a description, image, and links to the term-rewriting topic page so that developers can more easily learn about it.
To associate your repository with the term-rewriting topic, visit your repo's landing page and select "manage topics."