GitHub repository: zenprotocol/FStar
Primary language: OCaml
Description: An ML-like language aimed at program verification