GitHub repository: AlexRogalskiy/template-agda
Description: An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.