GitHub repository: lemastero/Scallina
Primary language: Scala
Description: A Coq-based synthesis of Scala programs which are correct-by-construction