Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

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

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

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

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

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…

A static website compiler library in Haskell

Pattern language

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

What I Wish I Knew When Learning Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

A wiki using HAppS, pandoc, and git

lamdu - towards the next generation IDE

Informative git prompt for zsh

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

Official upstream development repository for Cabal and cabal-install

Homomorphic machine learning

Haskell bindings for TensorFlow

The Haskell-Scriptable Editor

Deep Learning in Haskell