GitHub repository: GaloisInc/parameterized-utils
Primary language: Haskell
Description: A set of utilities for using indexed types including containers, equality, and comparison.