GitHub repository: yitzchak/dicy
Primary language: TypeScript
Description: A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.