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.

An advanced keyboard manager

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.

Cryptographic currency implementing Ouroboros PoS protocol

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

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

The core component that is used to participate in a Cardano decentralised blockchain.

Official Haskell IDE support via the language server protocol (LSP)

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

🇪🇺 Wire back-end services

A RESTful Haskell web framework built on WAI.

What I Wish I Knew When Learning Haskell

The engine for haskell ide-integration. Not an IDE

Research language for array processing in the Haskell/ML family

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

Cryptol: The Language of Cryptography

Tensors and neural networks in Haskell

Haskell code prettifier

Haskell IDE

Resource gathering + programming game

Haskell Web Application Interface

Bundle of all core development tools for Elm

Haskell-based shell scripting language

A library for building Haskell IDE tooling