ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

A modern proof language

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

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

A RESTful Haskell web framework built on WAI.

Terminal-based presentations using Pandoc

What I Wish I Knew When Learning Haskell

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

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!

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Haskell to VHDL/Verilog/SystemVerilog compiler

Miscellaneous articles. The readme is the table of contents.

A fast Haskell JSON library

Educational computer programming environment using Haskell

Shell programming, Haskell style

Command-line benchmark tool

Haskell Web Application Interface

A standard library for Haskell

A Testing Framework for Haskell

Automatic testing of Haskell programs.

Cloud Haskell core libraries

A little course to learn about some of the more obscure GHC extensions.