Packages tagged compiler-plugin

9 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (9), bsd3 (6), 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-plugin1140.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-19ConradParker
cse-ghc-plugin360.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
ghc-proofs540.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-05JoachimBreitner
haskell-stack-trace-plugin1170.0haskell-stack-trace-plugin (compiler-plugin, debug, development, library, mit, program)2020-01-18waddlaw
inspection-testing5132.5GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2019-09-02JoachimBreitner
magic-tyfams1140.0Write plugins for magic type families with ease (bsd3, compiler-plugin, library)2019-08-11isovector
seqaid4320.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-04AndrewSeniuk
strict-ghc-plugin410.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
unroll-ghc-plugin700.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-08AustinSeipp