Packages tagged compiler-plugin

13 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
BinderAnn30.0Source-to-source plugin for enhancing EDSLs with static annotations (bsd3, compiler-plugin, library)2020-03-19agustinmista
const-math-ghc-plugin120.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-19ConradParker
cse-ghc-plugin60.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
ghc-clippy-plugin42.0Override GHC error messages to the user's liking (bsd3, compiler-plugin, development, library)2020-06-12arturgajowy
ghc-plugs-out10.0Type checker plugins without the type checking. (compiler-plugin, library, mpl)2020-07-10philderbeast
ghc-proofs80.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-05JoachimBreitner
haskell-stack-trace-plugin20.0haskell-stack-trace-plugin (compiler-plugin, debug, development, library, mit, program)2020-01-18waddlaw
inspection-testing3352.5GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2020-04-10JoachimBreitner
magic-tyfams100.0Write plugins for magic type families with ease (bsd3, compiler-plugin, library)2019-08-11isovector
seqaid170.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-04AndrewSeniuk
smuggler250.0GHC Source Plugin that helps to minimise imports and generate explicit exports (compiler-plugin, development, library, mpl, program, refactoring)2020-06-19jrp
strict-ghc-plugin30.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-08AustinSeipp
unroll-ghc-plugin50.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-08AustinSeipp