Packages tagged compiler-plugin

6 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (6), bsd3 (5), formal-methods (1), mit (1), program (1)

Name
DLs
Rating
Description
Tags
Maintainer
const-math-ghc-plugin80.0Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)ConradParker
cse-ghc-plugin10.0Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)AustinSeipp
ghc-proofs370.0GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)JoachimBreitner
seqaid140.0Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)AndrewSeniuk
strict-ghc-plugin40.0Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)AustinSeipp
unroll-ghc-plugin40.0Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)AustinSeipp