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)

The engine for haskell ide-integration. Not an IDE

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

Liquid Types For Haskell

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell implemented with combinators

Happy Haskell Hacking for editors. DEPRECATED

Compositional pipelines

Generically derive traversals, lenses, and prisms.

Efficient Haskell Arrays featuring Parallel computation

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

A simple expressions language with polymorphic extensible row types.

Data frames for tabular data.

Equational laws for free

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Extensional capabilities and deriving combinators

Low-dimensional linear algebra primitives for Haskell.

Binary serialisation in the CBOR format

Inspection Testing for Haskell

Composable, streaming, and efficient left folds

Fast linear time sorting and discrimination for a large class of data types

The Haskell Refactoring Tool

A fork of jhc. And also a Haskell compiler.

This package provides various primitive memory-related operations.

DEPRECATED: Windows installer for GHC including msys

Reifies arbitrary Haskell terms into types that can be reflected back into terms

A hip inductive theorem prover!