A strongly-typed language that compiles to JavaScript

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

The Haskell Tool Stack

A modern proof language

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

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

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

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

💥💻💥 A data-parallel functional programming language

Official upstream development repository for Cabal and cabal-install

A declarative Unix terminal UI library written in Haskell

Haskell source code suggestions

A fast Haskell JSON library

Very low feature GHCi based IDE

Kit: a magical, high performance programming language, designed for game development.

Industrial-strength monadic parser combinator library

Project: M36 Relational Algebra Engine

A monadic parser combinator library

Haskell API search engine

Automatic testing of Haskell programs.

haskell source code formatter

Modern and extensible testing framework for Haskell

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Introduction to parsing with Haskell and Parsec

An interpreter for learning and exploring pure λ-calculus

The Monad Transformer Library

Optics as an abstract interface

Haskell bindings to the SDL2 library

Standard library for linear types in Haskell.

A high-level ncurses alternative written in Haskell