Packages tagged compiler-plugin

7 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (7), bsd3 (5), mit (2), formal-methods (1), program (1), testing (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
const-math-ghc-plugin150.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-19ConradParker
cse-ghc-plugin70.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
ghc-proofs130.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-05JoachimBreitner
inspection-testing1692.25GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2017-11-12JoachimBreitner
seqaid40.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-04AndrewSeniuk
strict-ghc-plugin40.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
unroll-ghc-plugin40.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-08AustinSeipp