GitHub repository: ysthakur/verity
Primary language: Scala
Description: A programming language with proofs and implicits