ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

Functional Programming Course

The Haskell Tool Stack

A Dependently Typed Functional Programming Language

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Haskell to JavaScript compiler, based on GHC

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

The engine for haskell ide-integration. Not an IDE

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

The Haskell-Scriptable Editor

Haskell source code suggestions

Haskell 101 and 102: slides and codelabs

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

Very low feature GHCi based IDE

Functional Programming Course

Write You a Scheme

📖 source material for Thinking with Types

website for browsing packages and exploring documentation

A curated list of awesome things related to Haskell.

Virtual Haskell Environment builder

This rule is for uBlacklist. there is also a rule for uBlock Origin in Firefox for Android.

A book about real world web development in beginner friendly Haskell

Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.

tools to poke pdf using haskell