😈 Automatically import Haskell modules.

• UpdatedOct 27, 2025
• Haskell

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

• UpdatedApr 3, 2024
• Haskell

Minimise haskell imports, make exports explicit

• UpdatedSep 5, 2023
• Haskell

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

• UpdatedSep 20, 2021
• Haskell

Presburger arithmetic solver for built-in type-level naturals

• UpdatedJul 20, 2025
• Haskell

Haskell Enforcer of user specified code standards

• UpdatedOct 9, 2025
• Haskell

GHC plugin to rewrite lens Template Haskell splices into pure functions

• UpdatedDec 14, 2024
• Haskell

An experiment to implement something similar to RecursiveLet proposal using GHC plugins.

• UpdatedMar 6, 2021
• Haskell

The text of my bachelor's thesis.

• UpdatedMay 30, 2021
• TeX

Stop compilation if the project violates an import and export whitelist

• UpdatedAug 7, 2019
• Haskell

A GHC source plugin that replaces current imports with a minimal set, removing unused ones.

• UpdatedMar 31, 2020
• Haskell

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.

• UpdatedMay 12, 2025
• Java

GHC Core plugin for lightweight formal verification of Haskell programs via Agda.

• UpdatedMay 5, 2023
• Haskell