hackage.haskell.org "compiler-plugin" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "compiler-plugin" keyword.
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: 2 months ago - 1 dependent package - 4 dependent repositories - 1.21 thousand downloads total - 0 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: 6 months ago - 1 dependent package - 625 downloads total - 0 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
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: over 4 years ago - 1 dependent repositories - 1.7 thousand downloads total - 19 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals24 versions - Latest release: 3 months ago - 4 dependent packages - 9 dependent repositories - 8.84 thousand downloads total - 9 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: 5 months ago - 57 downloads total - 43 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-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: about 3 years ago - 115 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: 3 months ago - 3 dependent packages - 8 dependent repositories - 1.69 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.81 thousand downloads total - 20 stars on GitHub - 1 maintainer
inspection-testing 0.6.2
Some carefully crafted libraries make promises to their users beyond functionality and performanc...28 versions - Latest release: 4 months ago - 1 dependent package - 28 dependent repositories - 20 thousand downloads total - 185 stars on GitHub - 1 maintainer
const-math-ghc-plugin 1.0.0.0
GHC plugin for constant math elimination5 versions - Latest release: almost 13 years ago - 4.17 thousand downloads total - 15 stars on GitHub - 1 maintainer
BinderAnn 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 - 439 downloads total - 4 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.43 thousand downloads total - 1 maintainer
ecta-plugin 0.1.0
5 versions - Latest release: about 3 years ago - 370 downloads total - 1 maintainerapply-unordered 1.0
Experiments in type-directed function application and argument reordering1 version - Latest release: over 4 years ago - 260 downloads total - 3 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 - 313 downloads total - 2 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: about 13 years ago - 1.87 thousand downloads total - 6 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: about 6 years ago - 1 dependent repositories - 1.56 thousand downloads total - 67 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: about 13 years ago - 1.36 thousand downloads total - 6 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: about 13 years ago - 1.27 thousand downloads total - 27 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.58 thousand downloads total - 71 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
source-plugin
2
type-level-programming
2
solver
2
presburger-arithmetic-solver
2
dependent-types
2
type-system
2
math
2
plugin
2
imports
2
refactoring
2
sourcemod-plugin
1
plugins
1
formal-methods
1
compile-time
1
debug
1
exports
1
testing
1
acme
1
functions
1
unused-imports
1