ho-rewriting alternatives and similar packages
Based on the "Language" category.
Alternatively, view ho-rewriting alternatives based on common mentions on social networks and blogs.
-
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
WorkOS - The modern identity platform for B2B SaaS
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of ho-rewriting or a related project?
README
This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.
Some examples are found in the [examples directory](examples). For more information, see "Lightweight Higher-Order Rewriting in Haskell":