Haskell Compiler Plugin

Open-source Haskell projects categorized as Compiler Plugin

Top 9 Haskell Compiler Plugin Projects

  • inspection-testing

    Inspection Testing for Haskell

  • ghc-proofs

    Let GHC prove program equations for you

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • ghc-clippy-plugin

    A helpful companion to GHC. Overrides GHC messages, to the user's liking.

  • smuggler2

    Minimise haskell imports, make exports explicit

  • haskell-stack-trace-plugin

  • const-math-ghc-plugin

    GHC plugin for constant math elimination

  • singletons-presburger

    Presburger arithmetic solver for built-in type-level naturals

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  • BinderAnn

    BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

  • ghc-plugs-out

    Type checker plugins without the type checking. (by BlockScope)

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Compiler Plugin related posts

  • [ANN] core-warn: A package for detecting unexpected Core output!

    2 projects | /r/haskell | 23 Oct 2021
  • [Kind-Lang] Getters and Setters done right in a pure functional language

    3 projects | /r/programming | 17 Oct 2021


What are some of the best open-source Compiler Plugin projects in Haskell? This list will help you:

Project Stars
1 inspection-testing 171
2 ghc-proofs 145
3 ghc-clippy-plugin 33
4 smuggler2 19
5 haskell-stack-trace-plugin 18
6 const-math-ghc-plugin 14
7 singletons-presburger 6
8 BinderAnn 4
9 ghc-plugs-out 2

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives