Stop compilation if the project violates an import and export whitelist
-
Updated
Aug 7, 2019 - Haskell
Stop compilation if the project violates an import and export whitelist
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
GHC plugin to rewrite lens Template Haskell splices into pure functions
An experiment to implement something similar to RecursiveLet proposal using GHC plugins.
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
Minimise haskell imports, make exports explicit
Presburger arithmetic solver for built-in type-level naturals
Maven project with Json Schema file which contains the specification of the Json formant to make an input for the new PeñalaraGHC's timetable engine.
Add a description, image, and links to the ghc-plugin topic page so that developers can more easily learn about it.
To associate your repository with the ghc-plugin topic, visit your repo's landing page and select "manage topics."