GitHub repository: ucsd-progsys/liquidhaskell
Primary language: Haskell
Description: Liquid Types For Haskell