liquidhaskell (hackage): Liquid Types for Haskell.
Keywords: bsd3|language|library|program|haskell|refinement-types|smt|verification