hackage.haskell.org "compiler-plugin" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "compiler-plugin" keyword.
inspection-testing 0.6.2
Some carefully crafted libraries make promises to their users beyond functionality and performanc...28 versions - Latest release: 6 months ago - 1 dependent package - 28 dependent repositories - 20.2 thousand downloads total - 185 stars on GitHub - 1 maintainer
ecta-plugin 0.1.0
5 versions - Latest release: about 3 years ago - 396 downloads total - 1 maintainerBinderAnn 0.1.0.0
Please see the README on GitHub at https://github.com/OctopiChalmers/BinderAnn#readme1 version - Latest release: over 5 years ago - 1 dependent repositories - 441 downloads total - 4 stars on GitHub - 1 maintainer
unroll-ghc-plugin 0.1.1 💰
This plugin gives an example of defining a compiler plugin for GHC. It unrolls/peels loops loops ...2 versions - Latest release: over 13 years ago - 1.88 thousand downloads total - 6 stars on GitHub - 1 maintainer
cse-ghc-plugin 0.1.1 💰
This library is a conversion of GHC's internal Common Subexpression Elimination pass for Core to ...1 version - Latest release: over 13 years ago - 1.36 thousand downloads total - 6 stars on GitHub - 1 maintainer
smuggler2 0.3.6.2
Add smuggler2 to the build dependencies of your project. . Then add the following to ghc-options:...9 versions - Latest release: almost 5 years ago - 1 dependent repositories - 1.73 thousand downloads total - 19 stars on GitHub - 1 maintainer
magic-tyfams 0.1.1.0
Please see the README on GitHub at https://github.com/isovector/type-sets/tree/master/magic-tyfam...4 versions - Latest release: over 6 years ago - 1 dependent repositories - 1.58 thousand downloads total - 67 stars on GitHub - 1 maintainer
smuggler 0.1.0 💰
Add smuggler to the dependencies of your project. Then add the following options: -fplugin=Smugg...3 versions - Latest release: about 7 years ago - 1.59 thousand downloads total - 71 stars on GitHub - 1 maintainer
strict-ghc-plugin 0.1.1 💰
This plugin gives an example of defining a compiler plugin for GHC. You mark functions with the S...1 version - Latest release: over 13 years ago - 1.28 thousand downloads total - 27 stars on GitHub - 1 maintainer
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 4 months ago - 3 dependent packages - 8 dependent repositories - 1.72 thousand downloads total - 9 stars on GitHub - 1 maintainer
haskell-stack-trace-plugin 0.1.3.0
This plugin allow implicitly add HasCallStack class to every top-level function for all module. H...5 versions - Latest release: over 4 years ago - 4 dependent repositories - 1.83 thousand downloads total - 20 stars on GitHub - 1 maintainer
ghc-proofs 0.1.1
Often when writing Haskel code, one would like to prove things about the code. A good example is...2 versions - Latest release: about 8 years ago - 1.65 thousand downloads total - 146 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals24 versions - Latest release: 4 months ago - 4 dependent packages - 9 dependent repositories - 8.89 thousand downloads total - 9 stars on GitHub - 1 maintainer
const-math-ghc-plugin 1.0.0.0
GHC plugin for constant math elimination5 versions - Latest release: about 13 years ago - 4.18 thousand downloads total - 15 stars on GitHub - 1 maintainer
om-plugin-imports 0.4.0.1.9.12
See the README at https://github.com/owensmurray/om-plugin-imports/tree/master/#om-plugin-imports16 versions - Latest release: 8 months ago - 1 dependent package - 661 downloads total - 0 stars on GitHub - 1 maintainer
ghc-plugin-non-empty 0.0.0.0 💰
GHC Plugin for compile-time transformation of list literals to NonEmpty lists. See README.md for...1 version - Latest release: over 3 years ago - 117 downloads total - 27 stars on GitHub - 1 maintainer
ollama-holes-plugin 0.1.6.0
This package provides a GHC plugin that uses LLMs to generate valid hole-fits. It supports multip...10 versions - Latest release: 7 months ago - 84 downloads total - 43 stars on GitHub - 1 maintainer
ghc-plugs-out 2.0.0.0
Type checker plugins without the type checking.2 versions - Latest release: over 3 years ago - 320 downloads total - 2 stars on GitHub - 1 maintainer
seqaid 0.1.5
Seqaid is a GHC plugin providing non-invasive auto-instrumentation of Haskell projects, for dynam...13 versions - Latest release: almost 11 years ago - 8.45 thousand downloads total - 1 maintainer
typecheck-plugin-nat-simple 0.1.0.12
Please see the README on GitHub at https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#r...12 versions - Latest release: 4 months ago - 1 dependent package - 4 dependent repositories - 1.23 thousand downloads total - 0 stars on GitHub - 1 maintainer
apply-unordered 1.0
Experiments in type-directed function application and argument reordering1 version - Latest release: over 4 years ago - 263 downloads total - 3 stars on GitHub - 1 maintainer
ghc-clippy-plugin 0.0.0.1
Please see the README on GitHub at https://github.com/ArturGajowy/ghc-clippy-plugin#readme1 version - Latest release: over 5 years ago - 304 downloads total - 33 stars on GitHub - 1 maintainer
Related Keywords
library
22
Propose Tags
22
bsd3
12
mit
6
haskell
6
development
5
mpl
4
ghc
4
program
3
ghc-plugin
3
presburger-arithmetic-solver
2
solver
2
dependent-types
2
type-system
2
math
2
source-plugin
2
type-level-programming
2
plugin
2
imports
2
refactoring
2
formal-methods
1
debug
1
compile-time
1
acme
1
functions
1
unused-imports
1
sourcemod-plugin
1
plugins
1
exports
1
testing
1