HVM
HVM2是一个开源的大规模并行评估器,基于交互组合子理论。它可以将Python、Haskell等高级语言编译成能在GPU等并行硬件上高效运行的程序。作为HVM1的改进版,HVM2在简洁性、速度和正确性方面都有提升。项目提供低级IR语言用于描述HVM2网络,并支持编译为C和CUDA代码。对于需要高级语言接口的用户,可以使用配套的Bend项目。