A modern proof language

🇪🇺 Wire back-end services

Koka language compiler and interpreter

A static website compiler library in Haskell

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

A gtk based status bar for tiling window managers such as XMonad

ShellCheck, a static analysis tool for shell scripts

Easy dependency management for Nix projects

Haskell source code suggestions

🍜 A tasty Haskell front-end framework

Standard library for linear types in Haskell.

Embedded language for high-performance array computations

Haskell-based shell scripting language

Haskell implemented with combinators

♊ higher-order, no-boilerplate monads

Dockerfile linter, validate inline bash, written in Haskell

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

The Software Foundations book, in GHC

The Haskell Tool Stack

lamdu - towards the next generation IDE

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

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

A strongly-typed language that compiles to JavaScript

Applicative option parser

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

Haskell code prettifier

A blazingly fast HTML combinator library for Haskell.

Library for functional reactive programming in Haskell.

Espial is an open-source, web-based bookmarking server.