GitHub repository: 47degrees/liquid-stain
Primary language: Scala
Description: Examples from the LiquidHaskell book, ported to Scala+Stainless