GitHub repository: AdrienChampion/r_type
Primary language: OCaml
Description: A model-checker for caml programs.