ShellCheck, a static analysis tool for shell scripts

Universal markup converter

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.

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

Functional Programming Course

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

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

A Dependently Typed Functional Programming Language

Building a modern functional compiler from first principles. (https://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…

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

A static website compiler library in Haskell

A RESTful Haskell web framework built on WAI.

🇪🇺 Wire back-end services

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

Haskell to JavaScript compiler, based on GHC

What I Wish I Knew When Learning Haskell

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

Terminal-based presentations using Pandoc

The engine for haskell ide-integration. Not an IDE

🍜 A tasty Haskell front-end framework

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

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

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.