ShellCheck, a static analysis tool for shell scripts

Universal markup converter

Parsing, analyzing, and comparing source code across many languages

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

Functional Programming Course

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

The Haskell Tool Stack

A Dependently Typed Functional Programming Language

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

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

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

A RESTful Haskell web framework built on WAI.

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

Haskell to JavaScript compiler, based on GHC

What I Wish I Knew When Learning Haskell

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

💥💻💥 A data-parallel functional programming language

The engine for haskell ide-integration. Not an IDE

🍜 A tasty Haskell front-end framework

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Official upstream development repository for Cabal and cabal-install

《Real World Haskell》中文翻译项目

The Haskell-Scriptable Editor

A fast Haskell JSON library

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

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