All Categories → No Category → term-rewriting

Top 2 term-rewriting open source projects

The Git repository for the mCRL2 toolset.

✭ 67

C++python CMake ruby GAP shell model-checking model-checker term-rewriting mu-calculus

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

✭ 266

julia TeX rust optimization symbolic symbolic-manipulation symbolic-computation compiler-optimization term-rewriting compiler-construction equality-saturation egraphs

1-2 of 2 term-rewriting projects