Packages tagged refactoring

4 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
HaRe1100.0the Haskell Refactorer. (bsd3, development, refactoring)2017-06-12AlanZimmerman, ChrisBrown
hermit240.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
importify110.0Tool for haskell imports refactoring (development, library, mit, program, refactoring)2017-12-23shersh
module-management340.0Clean up module imports, split and merge modules (bsd3, development, editor, haskell, ide, library, program, refactoring)2016-05-01DavidFox