Top 9 Haskell Compiler Plugin Projects

inspection-testing

2 171 6.2 Haskell

Inspection Testing for Haskell
ghc-proofs

0 145 0.0 Haskell

Let GHC prove program equations for you
InfluxDB

www.influxdata.com sponsored

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.
ghc-clippy-plugin

0 33 0.0 Haskell

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

0 19 0.0 Haskell

Minimise haskell imports, make exports explicit
haskell-stack-trace-plugin

0 18 0.0 Haskell
const-math-ghc-plugin

0 14 0.0 Haskell

GHC plugin for constant math elimination
singletons-presburger

0 6 7.6 Haskell

Presburger arithmetic solver for built-in type-level naturals
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
BinderAnn

0 3 3.2 Haskell

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
ghc-plugs-out

0 2 0.0 Haskell

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

Index

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	3
9	ghc-plugs-out	2