The Futhark Hackers. futhark-benchmarks [Computer software]. https://github.com/diku-dk/futhark-benchmarks