Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

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

💥💻💥 A data-parallel functional programming language

What I Wish I Knew When Learning Haskell

The engine for haskell ide-integration. Not an IDE

Official upstream development repository for Cabal and cabal-install

Haskell bindings for TensorFlow

Haskell source code suggestions

A GHC-based Haskell to JavaScript compiler

A fast Haskell JSON library

Haskell LLVM JIT Compiler Tutorial

Kit: a magical, high performance programming language, designed for game development.

Project management directly from the TODOs in your codebase

A streaming data library

Haskell API search engine

Functional programming with fewer indirections

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

Dependent type checker using normalisation by evaluation

Haskell + Lisp

Pure haskell access to the MaxMind GeoIP2 database