GitHub repository: FStarLang/FStar
Primary language: F*
Description: A Proof-oriented Programming Language