Selected Tags

Click on a tag to remove it

Transformation packages

Showing projects tagged as Optimization and Transformation

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel

  • hermit-syb

    3.4 0.0 Haskell
    HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals.