ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

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.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

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

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

A modern proof language

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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

A Dependently Typed Functional Programming Language

Terminal-based presentations using Pandoc

What I Wish I Knew When Learning Haskell

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

A wiki using HAppS, pandoc, and git

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

A statically typed concatenative systems programming language.

Huge list of videos, talks, courses for Haskell programming language.

♊ higher-order, no-boilerplate monads

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Functional Programming Course

A programming language with static memory management based on λ-calculus

Shake build system

Automatic testing of Haskell programs.

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

A multi-syntax functional programming language that compiles to WebAssembly.

Haskell-powered Python 3 interpreter