ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

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

A Dependently Typed Functional Programming Language

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

A RESTful Haskell web framework built on WAI.

What I Wish I Knew When Learning Haskell

lamdu - towards the next generation IDE

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Homomorphic machine learning

《Real World Haskell》中文翻译项目

Haskell to VHDL/Verilog/SystemVerilog compiler

A statically typed concatenative systems programming language.

Embedded language for high-performance array computations

Automatic testing of Haskell programs.

Cloud Haskell core libraries

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

The full power of R in Haskell.

Haskell pretty printer

GUI framework that uses the web browser as a display.

Fast image IO and transformations.

A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.

higher order dependently typed logic programing

Given a list of regexes, generate all possible strings that matches all of them.

Fast linear time sorting and discrimination for a large class of data types

Mutable hash tables for Haskell, in the ST monad

Haskell bindings to the LLVM compiler infrastructure project.