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

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

Functional Programming Course

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

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

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

A Dependently Typed Functional Programming Language

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

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…

A static website compiler library in Haskell

Pattern language

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

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

Haskell to JavaScript compiler, based on GHC

The engine for haskell ide-integration. Not an IDE

🍜 A tasty Haskell web framework

A wiki using HAppS, pandoc, and git

C to Rust translator

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

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

lamdu - towards the next generation IDE