GitHub repository: lamastex/mrs2
Primary language: C++
Description: a C++ class library for statistical set processing and computer-aided proofs in statistics.