GitHub repository: samuelchassot/bolts
Primary language: Scala
Description: Bolts: Stainless Verified Scala Examples