Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: ghc-plugin
tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Language: Haskell - Size: 46.9 KB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 16 - Forks: 0
jrp2014/MinImports
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
Language: Haskell - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
sellout/compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
Language: Haskell - Size: 2.31 MB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 19 - Forks: 2
konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Language: Haskell - Size: 1.22 MB - Last synced: 14 days ago - Pushed: 5 months ago - Stars: 6 - Forks: 6
jrp2014/smuggler2 Fork of kowainik/smuggler
Minimise haskell imports, make exports explicit
Language: Haskell - Size: 337 KB - Last synced: 23 days ago - Pushed: 8 months ago - Stars: 19 - Forks: 2
YellPika/constraint-rules
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
Language: Haskell - Size: 46.9 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 16 - Forks: 0
fsestini/hs2agda-plugin
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
Language: Haskell - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
dmjio/lens-th-rewrite
GHC plugin to rewrite lens Template Haskell splices into pure functions
Language: Haskell - Size: 13.7 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 6 - Forks: 0
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.
Language: Java - Size: 888 KB - Last synced: 5 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
viluon/bachelors-thesis
The text of my bachelor's thesis.
Language: TeX - Size: 15.5 MB - Last synced: 14 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0
utdemir/recursive-let-plugin
An experiment to implement something similar to RecursiveLet proposal using GHC plugins.
Language: Haskell - Size: 6.84 KB - Last synced: 13 days ago - Pushed: about 3 years ago - Stars: 4 - Forks: 0
aleator/abortplugin
Stop compilation if the project violates an import and export whitelist
Language: Haskell - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0