A strongly-typed language that compiles to JavaScript

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

A Dependently Typed Functional Programming Language

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

A RESTful Haskell web framework built on WAI.

Haskell to JavaScript compiler, based on GHC

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

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Applicative option parser

Easy instructions for setting up Haskell editors / IDEs on any major operating system.