GitHub repository: uwplse/coq-change-analytics
Primary language: OCaml
Description: Collect data and analyze changes in Coq code live