Universal markup converter

REST API for any Postgres database

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

The Haskell Tool Stack

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

A Dependently Typed Functional Programming Language

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

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

Terminal-based presentations using Pandoc

💥💻💥 A data-parallel functional programming language

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

What I Wish I Knew When Learning Haskell

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

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!

A multilingual package manager for Arch Linux and the AUR.

Official upstream development repository for Cabal and cabal-install

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

A fast Haskell JSON library

Cryptol: The Language of Cryptography

Haskell LLVM JIT Compiler Tutorial

Haskell code prettifier

Applicative option parser

Detexify Backend written in Haskell

A streaming data library

A standard library for Haskell