cucapra

Intermediate Language (IL) for Hardware Accelerator Generators

interactive λ-calculus for learning

a multi-stage heterogeneous programming language applied to real-time 3D graphics