futhark-0.20.7: An optimising compiler for a functional, array-oriented language.