GitHub repository: sneeuwballen/benchpress
Primary language: OCaml
Description: Testing and benchmarking tool for logic-related programs.