GitHub repository: omelkonian/agda-stdlib-meta
Primary language: Agda
Description: Meta-programming utilities for Agda.