Well-Typed LLP's repositories
generics-sop
Generic Programming using True Sums of Products
full-text-search
An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
large-records
Library to support efficient compilation of large records (linear in the number of record fields)
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
trace-foreign-calls
GHC plugin to add eventlog tracing for foreign function calls
hs-bindgen
Automatically generate Haskell bindings from C header files
canonical-json
Canonical JSON for signing and hashing JSON values
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
ghc-events-util
Utilities for working with the GHC eventlog
specialist
GHC plugin for surgical specialization
staging-bobkonf2024
Materials for the BOBkonf 2024 tutorial on staging
ifl2024-call-by-name
Code examples for the keynote "The case for call-by-name" at IFL 2024
l4-dsl
Domain Specific Languages for Computational Law
private-dependencies-examples
Examples of using the proposed private dependencies feature in Cabal