GitHub repository: CMU-Math/probase
Primary language: JavaScript
Description: CMIMC Problem Database