ghc-plugin

There are 0 repository under ghc-plugin topic.

• jrp2014 / smuggler2

  Minimise haskell imports, make exports explicit

  haskellpluginpluginssourcemod-pluginimportsexportsghcghc-plugin
  Language:Haskell 19

• sellout / compiling-anything-to-categories

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

  haskellcategory-theoryghcghc-plugin
  Language:Haskell 19

• YellPika / constraint-rules

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

  ghc-plugin
  Language:Haskell 17

• tfausak / imp

  :smiling_imp: Automatically import Haskell modules.

  ghc-pluginhaskell
  Language:Haskell 16

• dmjio / lens-th-rewrite

  GHC plugin to rewrite lens Template Haskell splices into pure functions

  ghcghc-pluginlenstemplate-haskellsource-to-source
  Language:Haskell 6

• konn / ghc-typelits-presburger

  Presburger arithmetic solver for built-in type-level naturals

  haskellghcpresburger-arithmetic-solverghc-plugincompiler-pluginsolvertype-level-programmingdependent-types
  Language:Haskell 6

• utdemir / recursive-let-plugin

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

  ghcghc-plugin
  Language:Haskell 4

• viluon / bachelors-thesis

  The text of my bachelor's thesis.

  haskellghc-pluginthesis
  Language:TeX 1

• penalara / engineInputGHCFile

  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.

  ghcghc-pluginpenalarasheduleshedulertimetabletimetable-buildertimetable-generatortimetable-scheduling-application
  Language:Java 0

• aleator / abortplugin

  Stop compilation if the project violates an import and export whitelist

  ghc-plugin
  Language:Haskell

• fsestini / hs2agda-plugin

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

  agdaformal-verificationghcghc-pluginhaskell
  Language:Haskell

• jrp2014 / MinImports

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

  ghcghc-apighc-extensionsghc-pluginhaskellplug-inplug-inspluginplugins
  Language:Haskell