GitHub repository: sarvex/idris125
Description: Trying to complete over 100 projects in various categories in Idris