GitHub repository: ICME-Lab/Nova
Primary language: Rust
Description: Nova: High-speed recursive arguments from folding schemes