Universal markup converter

ShellCheck, a static analysis tool for shell scripts

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

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

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

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

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.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

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

A static website compiler library in Haskell

Pattern language

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

Terminal-based presentations using Pandoc

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

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

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

lamdu - towards the next generation IDE