remora. A dependently-typed, array-polymorphic language that runs on parallel architectures

github.com/liam923/remora

Problem

Audience

Updates

No founder updates yet. Check back soon.