Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

An advanced keyboard manager

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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

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

Functional Programming Course

The Haskell Tool Stack

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

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

The core component that is used to participate in a Cardano decentralised blockchain.

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

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

A static website compiler library in Haskell

Terminal-based presentations using Pandoc

A RESTful Haskell web framework built on WAI.

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

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

The engine for haskell ide-integration. Not an IDE

A wiki using HAppS, pandoc, and git