mit-plv / rewriterLinks

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
25Updated 2 months ago

Alternatives and similar repositories for rewriter

Users that are interested in rewriter are comparing it to the libraries listed below

Sorting: