diku-dk / futhark

:boom::computer::boom: A data-parallel functional programming language