Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A statically typed lisp, without a GC, for real-time applications.

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

Cryptographic currency implementing Ouroboros PoS protocol

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…

A static website compiler library in Haskell

Pattern language

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

🇪🇺 Wire back-end services

A RESTful Haskell web framework built on WAI.

Terminal-based presentations using Pandoc

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

C to Rust translator

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!

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