Haskell Enforcer of user specified code standards
-
Updated
Feb 10, 2026 - Haskell
#
ghc-plugin
Here are 12 public repositories matching this topic...
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
-
Updated
Apr 3, 2024 - Haskell
Minimise haskell imports, make exports explicit
-
Updated
Sep 5, 2023 - Haskell
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
-
Updated
Sep 20, 2021 - Haskell
Presburger arithmetic solver for built-in type-level naturals
haskell dependent-types solver ghc type-level-programming compiler-plugin presburger-arithmetic-solver ghc-plugin
-
Updated
Jan 18, 2026 - Haskell
GHC plugin to rewrite lens Template Haskell splices into pure functions
-
Updated
Dec 14, 2024 - Haskell
An experiment to implement something similar to RecursiveLet proposal using GHC plugins.
-
Updated
Mar 6, 2021 - Haskell
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
-
Updated
Mar 31, 2020 - Haskell
Stop compilation if the project violates an import and export whitelist
-
Updated
Aug 7, 2019 - Haskell
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
-
Updated
May 5, 2023 - Haskell
Improve this page
Add a description, image, and links to the ghc-plugin topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ghc-plugin topic, visit your repo's landing page and select "manage topics."