GitHub repository: kevincharm/Nova
Description: Nova: High-speed recursive arguments from folding schemes