Packages tagged compiler-plugin

8 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (8), bsd3 (5), mit (3), program (2), debug (1), development (1), formal-methods (1), testing (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
const-math-ghc-plugin230.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-19ConradParker
cse-ghc-plugin140.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
ghc-proofs140.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-05JoachimBreitner
haskell-stack-trace-plugin220.0haskell-stack-trace-plugin (compiler-plugin, debug, development, library, mit, program)2018-12-07waddlaw
inspection-testing1092.5GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2018-11-17JoachimBreitner
seqaid340.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-04AndrewSeniuk
strict-ghc-plugin100.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
unroll-ghc-plugin130.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-08AustinSeipp