zliu41

multi-containers

A few variants of multimaps.

min-max-pqueue

Min-max priority queue, also known as double-ended priority queue.

indexed-containers

zliu41.github.io

dsl

Source code for https://free.cofree.io/2020/02/29/dsl/

hadoop-streaming

A simple Hadoop streaming library based on conduit.

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

math-extras

agda

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

aiken

Cardano Smart Contracts

apply-refact

Refactor Haskell source files

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

CIPs

concat

Compiling to Categories

connections

A library for numerical conversions using Galois connections

containers

Assorted concrete container types

developer-portal

The Cardano Developer Portal

extra

Extra Haskell functions

fficxx

Haskell-C++ Foreign Function Interface Generator

flagRecompile

https://gitlab.haskell.org/ghc/ghc/-/issues/21543

ghc-exactprint

GHC version of haskell-src-exts exactPrint

ghcide

A library for building Haskell IDE tooling

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

hlint

Haskell source code suggestions

plfa.github.io

An introduction to programming language theory in Agda

plutus-apps

The Plutus application platform

stackage

"Stable Hackage": vetted consistent packages from Hackage

TypeCompose

Type composition classes & instances & misc

vec

Nat, Fin, Vec

vector

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