GitHub repository: ucsd-progsys/liquid-sf
Primary language: Haskell
Description: Port "Software Foundations" to LiquidHaskell