Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

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.

The Haskell Tool Stack

A modern proof language

A Dependently Typed Functional Programming Language

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

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

A RESTful Haskell web framework built on WAI.

Haskell to JavaScript compiler, based on GHC

The engine for haskell ide-integration. Not an IDE

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!

A multilingual package manager for Arch Linux and the AUR.

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Official upstream development repository for Cabal and cabal-install

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Haskell bindings for TensorFlow

A GHC-based Haskell to JavaScript compiler

Deep Learning in Haskell

Haskell 101 and 102: slides and codelabs

Liquid Types For Haskell

A fast Haskell JSON library

A proper subset of Haskell that compiles to JavaScript

Tensors and neural networks in Haskell