GitHub repository: lemastero/stdlib-meta
Description: Meta-programming utilities for Agda.