Universal markup converter

ShellCheck, a static analysis tool for shell scripts

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.

Functional Programming Course

A modern proof language

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

A Dependently Typed Functional Programming Language

A static website compiler library in Haskell

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

The engine for haskell ide-integration. Not an IDE

🍜 A tasty Haskell web framework

A declarative Unix terminal UI library written in Haskell

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

A proper subset of Haskell that compiles to JavaScript

A statically typed concatenative systems programming language.

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

A feature-rich Unix terminal client for the Mattermost chat system

Functional Programming Course

Haskell code prettifier

Shell programming, Haskell style

Cgrep: a context-aware grep for source codes

haskell source code formatter

Extremely modular text editor built in Haskell

The video editor built for screencasters

Haskell shell scripting

Write type-safe GraphQL services in Haskell

Pandoc based document editor and converter in your browser.

A set of challenges for jump starting your understanding of monads.