ShellCheck, a static analysis tool for shell scripts

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

A declarative Unix terminal UI library written in Haskell

The Haskell-Scriptable Editor

A fast Haskell JSON library

♊ higher-order, no-boilerplate monads

Project management directly from the TODOs in your codebase

Applicative option parser

Embedded language for high-performance array computations

A Testing Framework for Haskell

Automatic testing of Haskell programs.

Algebraic graphs

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Learn Haskell, with tiny lessons.

Web application for exploring and understanding Haskell codebases

Compositional pipelines

Domain-Specific Languages of Mathematics

Don't Fear the Profunctor Optics!

Linear algebra and numerical computation

A Haskell library for converting LaTeX math to MathML.

High-powered REPL for Haskell, inspired by IPython

A simple expressions language with polymorphic extensible row types.

pretty-printer for Haskell data types that have a Show instance

optics for Haskell with the most amazing type errors you've seen

Extensional capabilities and deriving combinators

The Haskell LaTeX library.

Floskell is a flexible Haskell source code pretty printer.

A utility for displaying the module dependencies of Haskell programs.