GitHub repository: wellecks/miniF2F
Primary language: Objective-C++
Description: An updated version of miniF2F with lots of fixes and informal statements / solutions.