GitHub repository: GaloisInc/oughta
Primary language: Haskell
Description: A Haskell library for testing programs that output text