Bring Your Own Hackage - A template for personal Hackage repositories
A lexical analyser generator for Haskell
Official upstream development repository for Cabal and cabal-install
A tool suite to aid Haskell development using `cabal-install`
The core component that is used to participate in a Cardano decentralised blockchain.
An incremental 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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
The github API for Haskell
Hackage security framework based on TUF (The Update Framework)
Alternative Haskell Infrastructure for Nixpkgs
Hydra, the Nix-based continuous build system
The Monad Transformer Library
A lightweight Haskell library for waiting on networked services to become available
Quickstart configurations for the Nvim LSP client
Petrol pump example using SodiumFRP
Yet another Haskell build system.
An introduction to programming language theory in Agda
Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Haskell bindings for the WiredTiger library