#term-rewriting (8 Repositories)
Ranked open-source repositories tagged with #term-rewriting, scored by pull request acceptance likelihood and maintainer engagement velocity.
29.3%
51.2h
8 repositories tagged #term-rewriting
usethesource/rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
sdiehl/mlir-egglog
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
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.
egraphs-good/egglog-python
Python bindings for the egglog rust library
noprompt/meander
Tools for transparent data transformation
agraef/pure-lang
Pure programming language
chakravala/Reduce.jl
Symbolic parser for Julia language algebra using REDUCE