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.

😈 Automatically import Haskell modules.

Presburger arithmetic solver for built-in type-level naturals

Minimise haskell imports, make exports explicit

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

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

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

The text of my bachelor's thesis.

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

GHC plugin to rewrite lens Template Haskell splices into pure functions

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

Stop compilation if the project violates an import and export whitelist