REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

Functional Programming Course

The Haskell Tool Stack

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

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

A RESTful Haskell web framework built on WAI.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

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

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Haskell IDE

Deprecated; see https://github.com/unused-code/unused

FP101x - Functional Programming MOOC 2015 Content Repository

An unobtrusive, developer-friendly way to add comments

Empire strikes back

TLS/SSL implementation in haskell

учебник по Haskell

Command line tool to share Elm libraries

Server for stable, curated Haskell package sets

Faker is pure Haskell library for generating fake data.

AST, parser, pretty-printer for Core Erlang source code.

A Haskell code formatter using prettyprinter and the GHC API

Haskell parser for GIML