ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

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 Haskell Tool Stack

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

A Dependently Typed Functional Programming Language

A static website compiler library in Haskell

Pattern language

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

Haskell to JavaScript compiler, based on GHC

The engine for haskell ide-integration. Not an IDE

C to Rust translator

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

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

lamdu - towards the next generation IDE

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Haskell source code suggestions

Deep Learning in Haskell

Educational computer programming environment using Haskell

Cryptol: The Language of Cryptography

Very low feature GHCi based IDE

Functional Programming Course

Haskell code prettifier

A streaming data library