Higher Order Company
Bend2: The AI Programming Language
https://wefunder.com/higher.order.co
Total raised on Wefunder: 0
Total investors: 0
Quick facts
- HVM - A parallel Interaction Net runtime.
- Bend - A high-level language for GPUs.
- Kind - An minimal, efficient proof checker.