GitHub repository: vyperlang/coq-vyper
Primary language: Coq
Description: A Vyper compiler in Coq (just started)