Packages tagged refactoring

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (3), development (2), library (2), program (2), editor (1), formal-methods (1), haskell (1), ide (1), language (1), optimization (1), reflection (1), transformation (1)

Name
DLs
Rating
Description
Tags
Maintainer
HaRe1760.0the Haskell Refactorer. (bsd3, development, refactoring)AlanZimmerman, ChrisBrown
hermit250.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
module-management260.0Clean up module imports, split and merge modules (bsd3, development, editor, haskell, ide, library, program, refactoring)DavidFox