Packages tagged compiler-plugin

18 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (18), bsd3 (10), mit (5), development (3), mpl (3), program (2), acme (1), debug (1), formal-methods (1), functions (1), ghc (1), refactoring (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
BinderAnn40.00Source-to-source plugin for enhancing EDSLs with static annotations (bsd3, compiler-plugin, library)2020-03-190.1.0.0agustinmista
apply-unordered50.00Apply a function to an argument specified by a type level Nat (acme, bsd3, compiler-plugin, functions, library)2021-03-261.0MichaelSloan
const-math-ghc-plugin120.01Compiler plugin for constant math elimination (bsd3, compiler-plugin, library)2012-10-191.0.0.0ConradParker
cse-ghc-plugin40.01Compiler plugin for common subexpression elimination (bsd3, compiler-plugin, library)2012-08-080.1.1AustinSeipp
ecta-plugin152.00Hole-Fit Synthesis using ECTAs (compiler-plugin, library, mit)2022-09-150.1.1.3tritlo
ghc-clippy-plugin42.01Override GHC error messages to the user's liking (bsd3, compiler-plugin, development, library)2020-06-120.0.0.1arturgajowy
ghc-plugin-non-empty40.00GHC Plugin for non-empty lists (compiler-plugin, ghc, library, mpl)2022-07-170.0.0.0shersh
ghc-plugs-out50.00Type checker plugins without the type checking. (compiler-plugin, library, mpl)2022-06-102.0.0.0philderbeast
ghc-proofs70.01GHC plugin to prove program equations by simplification (compiler-plugin, formal-methods, library, mit)2017-09-050.1.1JoachimBreitner
haskell-stack-trace-plugin150.00haskell-stack-trace-plugin (compiler-plugin, debug, development, library, mit, program)2021-05-250.1.3.0waddlaw
inspection-testing1872.53GHC plugin to do inspection testing (compiler-plugin, library, mit, testing)2023-12-290.5.0.3JoachimBreitner
magic-tyfams100.01Write plugins for magic type families with ease (bsd3, compiler-plugin, library)2019-08-110.1.1.0isovector
om-plugin-imports200.00Plugin-based import warnings (compiler-plugin, library, mit)2024-04-010.2.0.0.9.6rickowens
seqaid240.01Dynamic strictness control, including space leak repair (bsd3, compiler-plugin, library, program)2015-02-040.4.0.0AndrewSeniuk
smuggler2250.00GHC Source Plugin that helps to minimise imports and generate explicit exports (compiler-plugin, development, library, mpl, refactoring)2021-01-100.3.6.2jrp
strict-ghc-plugin50.01Compiler plugin for making Haskell strict (bsd3, compiler-plugin, library)2012-08-080.1.1AustinSeipp
typecheck-plugin-nat-simple350.01Simple type check plugin which calculate addition, subtraction and less-or-equal-than (bsd3, compiler-plugin, library)2022-12-220.1.0.9YoshikuniJujo
unroll-ghc-plugin70.01Compiler plugin for loop unrolling (bsd3, compiler-plugin, library)2012-08-080.1.1AustinSeipp