GitHub repository: sandialabs/sansmic
Primary language: C++
Description: Sandia solution mining code