GitHub repository: kmyk/Jikka
Primary language: Haskell
Description: an automated solver for problems of competitive programming