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