Packages tagged refactoring
6 packages have this tag.
[Merge tag] (trustees only)Related tags: development (5), library (5), program (4), bsd3 (3), mpl (2), compiler-plugin (1), editor (1), formal-methods (1), haskell (1), ide (1), language (1), mit (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| HaRe | 84 | 0.0 | 1 | the Haskell Refactorer. | (bsd3, development, refactoring) | 2017-06-12 | 0.8.4.1 | AlanZimmerman, ChrisBrown |
| hermit | 60 | 0.0 | 2 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | 2016-02-23 | 1.0.1 | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
| importify | 7 | 0.0 | 0 | Tool for haskell imports refactoring | (development, library, mit, program, refactoring) | 2017-12-23 | 1.0.1 | serokell |
| module-management | 63 | 0.0 | 1 | Clean up module imports, split and merge modules | (bsd3, development, editor, haskell, ide, library, program, refactoring) | 2016-05-01 | 0.21 | DavidFox |
| smuggler | 13 | 2.0 | 0 | GHC Source Plugin that helps to manage imports | (development, library, mpl, program, refactoring) | 2018-09-24 | 0.1.0 | vrom911 |
| smuggler2 | 29 | 0.0 | 0 | GHC Source Plugin that helps to minimise imports and generate explicit exports | (compiler-plugin, development, library, mpl, refactoring) | 2021-01-10 | 0.3.6.2 | jrp |