GitHub repository: mrolinek/GeoGen
Primary language: C#
Description: Automated generation of planar geometry olympiad problems