kure: Combinators for Strategic Programming

[ bsd3, language, library ] [ Propose Tags ]

KURE is a DSL for building rewriting DSLs. KURE shares combinator names and concepts with Stratego, but unlike Stratego, KURE is strongly typed. KURE is similar to Strafunski, but has a lightweight generic traversal mechanism using type families rather than SYB, and the KURE combinators are parameterized to provide the ability to have context sensitive rewrites.

Versions [faq] 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
Dependencies base, containers [details]
License BSD-3-Clause
Copyright (c) 2006-2008 Andy Gill
Author Andy Gill
Maintainer Andy Gill <andygill@ku.edu>
Category Language
Home page http://ittc.ku.edu/~andygill/kure.php
Uploaded by AndyGill at Mon Dec 29 18:33:46 UTC 2008
Distributions NixOS:2.16.12
Downloads 12667 total (357 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees