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