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-plugin220.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-19ConradParker
cse-ghc-plugin90.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
ghc-proofs270.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-05JoachimBreitner
haskell-stack-trace-plugin170.0haskell-stack-trace-plugin (compiler-plugin, debug, development, library, mit, program)2018-12-07waddlaw
inspection-testing562.5GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2018-11-17JoachimBreitner
seqaid190.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-04AndrewSeniuk
strict-ghc-plugin70.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
unroll-ghc-plugin80.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-08AustinSeipp