Universal markup converter

ShellCheck, a static analysis tool for shell scripts

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

The Haskell Tool Stack

A modern proof language

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

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

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

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

Haskell to JavaScript compiler, based on GHC

C to Rust translator

lamdu - towards the next generation IDE

A multilingual package manager for Arch Linux and the AUR.

Research language for array processing in the Haskell/ML family

Educational computer programming environment using Haskell

Haskell IDE

A standard library for Haskell

Algebraic graphs

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Generically derive traversals, lenses, and prisms.

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

High-powered REPL for Haskell, inspired by IPython

Generates https://eel.is/c++draft

A graphical interactive proof assistant designed for education

being an operating system for typechecking processes

Combinators for manipulating locally-nameless generalized de Bruijn terms

POSIX functionality

Haskell support for the Win32 API

Library for generating Haskell source files and code fragments.