GitHub repository: wolverian/agda-template
Primary language: CSS
Description: A template for an Agda project with automatic GitHub Pages support