GitHub repository: pseudonom/phantheck
Primary language: Haskell
Description: Integrates QuickChecked properties into the type system with phantom types