GitHub repository: razvan-flavius-panda/awesome-agda-programming
Description: Awesome Agda Programming