diku-dk / futhark Haskell 2.8K 211 :boom::computer::boom: A data-parallel functional programming language language boom gpu hpc