Packages tagged compiler-plugin
19 packages have this tag.
[Merge tag] (trustees only)Related tags: library (19), bsd3 (10), mit (6), development (4), mpl (3), program (2), acme (1), debug (1), formal-methods (1), functions (1), ghc (1), refactoring (1), ...
Processing...
Name | DLs | Rating | Rev Deps | Description | Tags | Last U/L | Last Version | Maintainers |
|---|---|---|---|---|---|---|---|---|
| BinderAnn | 1 | 0.0 | 0 | Source-to-source plugin for enhancing EDSLs with static annotations | (bsd3, compiler-plugin, library) | 2020-03-19 | 0.1.0.0 | agustinmista |
| apply-unordered | 1 | 0.0 | 0 | Apply a function to an argument specified by a type level Nat | (acme, bsd3, compiler-plugin, functions, library) | 2021-03-26 | 1.0 | MichaelSloan |
| const-math-ghc-plugin | 3 | 0.0 | 1 | Compiler plugin for constant math elimination | (bsd3, compiler-plugin, library) | 2012-10-19 | 1.0.0.0 | ConradParker |
| cse-ghc-plugin | 1 | 0.0 | 1 | Compiler plugin for common subexpression elimination | (bsd3, compiler-plugin, library) | 2012-08-08 | 0.1.1 | AustinSeipp |
| ecta-plugin | 10 | 2.0 | 0 | Hole-Fit Synthesis using ECTAs | (compiler-plugin, library, mit) | 2022-09-15 | 0.1.1.3 | tritlo |
| ghc-clippy-plugin | 1 | 2.0 | 1 | Override GHC error messages to the user's liking | (bsd3, compiler-plugin, development, library) | 2020-06-12 | 0.0.0.1 | arturgajowy |
| ghc-plugin-non-empty | 1 | 0.0 | 0 | GHC Plugin for non-empty lists | (compiler-plugin, ghc, library, mpl) | 2022-07-17 | 0.0.0.0 | shersh |
| ghc-plugs-out | 3 | 0.0 | 0 | Type checker plugins without the type checking. | (compiler-plugin, library, mpl) | 2022-06-10 | 2.0.0.0 | philderbeast |
| ghc-proofs | 3 | 0.0 | 1 | GHC plugin to prove program equations by simplification | (compiler-plugin, formal-methods, library, mit) | 2017-09-05 | 0.1.1 | JoachimBreitner |
| haskell-stack-trace-plugin | 5 | 0.0 | 0 | haskell-stack-trace-plugin | (compiler-plugin, debug, development, library, mit, program) | 2021-05-25 | 0.1.3.0 | waddlaw |
| inspection-testing | 34 | 2.5 | 3 | GHC plugin to do inspection testing | (compiler-plugin, library, mit, testing) | 2025-01-01 | 0.6 | JoachimBreitner |
| magic-tyfams | 6 | 0.0 | 1 | Write plugins for magic type families with ease | (bsd3, compiler-plugin, library) | 2019-08-11 | 0.1.1.0 | isovector |
| ollama-holes-plugin | 16 | 0.0 | 0 | A typed-hole plugin that uses LLMs to generate valid hole-fits | (compiler-plugin, development, library, mit) | 2025-05-02 | 0.1.6.0 | tritlo |
| om-plugin-imports | 17 | 0.0 | 0 | Plugin-based explicit import generation. | (compiler-plugin, library, mit) | 2025-04-10 | 0.4.0.1.9.12 | rickowens |
| seqaid | 15 | 0.0 | 1 | Dynamic strictness control, including space leak repair | (bsd3, compiler-plugin, library, program) | 2015-02-04 | 0.4.0.0 | AndrewSeniuk |
| smuggler2 | 10 | 0.0 | 0 | GHC Source Plugin that helps to minimise imports and generate explicit exports | (compiler-plugin, development, library, mpl, refactoring) | 2021-01-10 | 0.3.6.2 | jrp |
| strict-ghc-plugin | 1 | 0.0 | 1 | Compiler plugin for making Haskell strict | (bsd3, compiler-plugin, library) | 2012-08-08 | 0.1.1 | AustinSeipp |
| typecheck-plugin-nat-simple | 12 | 0.0 | 1 | Simple type check plugin which calculate addition, subtraction and less-or-equal-than | (bsd3, compiler-plugin, library) | 2024-12-12 | 0.1.0.11 | YoshikuniJujo |
| unroll-ghc-plugin | 1 | 0.0 | 1 | Compiler plugin for loop unrolling | (bsd3, compiler-plugin, library) | 2012-08-08 | 0.1.1 | AustinSeipp |
Showing 1 to 19 of 19 entries