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