Parsing, analyzing, and comparing source code across many languages

The Haskell Tool Stack

A static website compiler library in Haskell

The Plutus language implementation and tools

Liquid Types For Haskell

A fast, flexible, fused effect system for Haskell

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

Combinators for manipulating locally-nameless generalized de Bruijn terms

refine properties for testing Haskell programs

QHaskell: a tool for developing QDSLs in Haskell