Packages tagged recursion

8 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (8), agpl (3), bsd3 (3), control (3), algebra (1), bsd2 (1), data-structures (1), graphs (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
metamorphic140.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
micro-recursion-schemes270.0Simple recursion schemes (bsd3, control, library, recursion)2018-05-14
recursion2900.0A recursion schemes library for GHC. (bsd3, control, library, recursion)2019-02-28vmchale
recursion-schemes5542.5Representing common recursion patterns as higher-order functions (bsd2, bsd3, control, library, recursion)2019-04-26EdwardKmett, EricMertens, gelisam, ryanglscott
tie-knot250.0"Ties the knot" on a given set of structures that reference each other by keys. (data-structures, library, recursion)2012-12-07PetrPudlak
yaya970.0Total recursion schemes. (agpl, library, recursion)2019-01-09sellout
yaya-hedgehog330.0Hedgehog testing support for the Yaya recursion scheme library. (agpl, library, recursion)2019-01-08sellout
yaya-unsafe910.0Non-total extensions to the Yaya recursion scheme library. (agpl, library, recursion)2019-01-08sellout