GitHub repository: spinda/liquidhaskell
Primary language: Haskell
Description: Liquid Types For Haskell