ShellCheck, a static analysis tool for shell scripts

The Haskell-Scriptable Editor

Cryptol: The Language of Cryptography

Haskell IDE

The full power of R in Haskell.

Smart Contracts Running on a BFT Hardened Raft

Type inference and checking for a safer JavaScript.

A DSL for embedded hard realtime applications.

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Play Minesweeper by formally proving your moves in Idris

A (Haskell DSL) stream language for generating hard real-time C code.

Overloaded plugin

audit your cabal projects for haskell-specific security-advisories

How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)

Haskell optimisation tool based on supercompilation

Easily generate Hoogle indices for installed packages

Convert to/from IEEE-754 HP/SP/DP formats

Constraint satisfaction problem (CSP) solvers for Haskell

haskell mahjong library

Haskell library for mahjong

Persistent GHC-powered background server for FAST haskell development tools

fcf-containers add tools that can be used with first-class-families

Express sensitive data inside text files in readable and compact way

Haskell COM client library