mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
22Updated last week

Alternatives and similar repositories for rewriter:

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