GitHub repository: krr-up/asp-macros
Primary language: TeX
Description: LaTeX macros for concepts from ASP (originally built for ASP book)