Well-Typed LLP

optics

Optics as an abstract interface

cborg

Binary serialisation in the CBOR format

generics-sop

Generic Programming using True Sums of Products

visualize-cbn

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

ghc-events-analyze

large-records

Library to support efficient compilation of large records (linear in the number of record fields)

falsify

grapesy

Native Haskell gRPC client and server based on `http2`

recover-rtti

Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).

ixset-typed

More strongly typed variant of the ixset Haskell package

basic-sop

Basic examples and functions for generics-sop

lens-sop

Computing lenses generically using generics-sop

canonical-json

Canonical JSON for signing and hashing JSON values

trace-foreign-calls

GHC plugin to add eventlog tracing for foreign function calls

json-sop

Generic JSON (de)serialization using generics-sop

blockio-uring

Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.

quickcheck-lockstep

Support for lockstep-style testing using quickcheck-dynamic

dupIO

libedsign

Small, high-security cryptographic signing library

snappy-c

Bindings to the C API Google's Snappy: A fast compression library

ghc-events-util

Utilities for working with the GHC eventlog

hooks-build-type

borsh

specialist

GHC plugin for surgical specialization

staging-bobkonf2024

Materials for the BOBkonf 2024 tutorial on staging

beam

A type-safe, non-TH Haskell SQL library and ORM

generic-programming-zurihac2024

l4-dsl

Domain Specific Languages for Computational Law

private-dependencies-examples

Examples of using the proposed private dependencies feature in Cabal