Assorted concrete container types
Unpacked containers using backpack
Convert Haskell source code to Coq source code.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
The Haskell Tool Stack
🚰 Kitchen-sink docker image for building Haskell in CI
Official upstream development repository for Cabal and cabal-install
Haskell Dockerfile parser, pretty-printer and EDSL
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Semigroups, specialized containers and a general map/reduce framework
POSIX functionality
GHCup metadata repository
A rewrite of the shell script ghcup, for providing a more stable user experience and exposing an ...
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.