A modern proof language

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

Haskell to JavaScript compiler, based on GHC

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

A multilingual package manager for Arch Linux and the AUR.

A fast Haskell JSON library

A statically typed concatenative systems programming language.

Modern and extensible testing framework for Haskell

GUI framework that uses the web browser as a display.

Compositional pipelines

Parsing all context-free grammars using Earley's algorithm in Haskell.

Efficient hashing-based container types

free monads

Test your Haskell code by exhaustively checking its properties

Combinators for manipulating locally-nameless generalized de Bruijn terms

Monadic Javascript Compiler

Haskell 98 contravariant functors

Haskell 98 Profunctors

Parse and pretty-print Bash shell scripts

An experimental theorem prover