kure: Combinators for Strategic Programming

[ bsd3, language, library ] [ Propose Tags ]

The Kansas University Rewrite Engine (KURE) is a DSL for strategic rewriting. KURE shares concepts with Stratego, but unlike Stratego, KURE is strongly typed. KURE is similar to StrategyLib, but has a lightweight generic traversal mechanism using type families rather than SYB. The basic transformation functionality can be found in Language.KURE.Translate, and the traversal functionality can be found in Language.KURE.Walker. Several basic examples of using KURE are provided in the source-code bundle. For a larger example, see the HERMIT package.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3.1, 2.0.0, 2.2.0, 2.4.0, 2.4.2, 2.4.10, 2.6.14, 2.6.22, 2.8.0, 2.12.0, 2.12.2, 2.14.0, 2.14.4, 2.14.6, 2.16.0, 2.16.1, 2.16.4, 2.16.6, 2.16.8, 2.16.10, 2.16.12, 2.18.6
Dependencies base (>=4.5 && <5) [details]
License BSD-3-Clause
Copyright (c) 2012 The University of Kansas
Author Neil Sculthorpe and Andy Gill
Maintainer Neil Sculthorpe <neil@ittc.ku.edu>
Category Language
Home page http://www.ittc.ku.edu/csdl/fpg/Tools/KURE
Uploaded by NeilSculthorpe at 2012-06-06T16:21:24Z
Distributions
Reverse Dependencies 5 direct, 2 indirect [details]
Downloads 19919 total (31 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]