GitHub repository: AndrasKovacs/cctt
Primary language: TeX
Description: high-performance cubical evaluation