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