Futhark User's Guide

 Futhark is a small programming language designed to be compiled to
 efficient parallel code. It is a statically typed, data-parallel, and
 purely functional array language in the ML family, and comes with a
 heavily optimising ahead-of-time compiler that presently generates
 GPU code via CUDA, HIP and OpenCL, although the language itself is
 hardware-agnostic.
 .
 HTML documentation for the Futhark programming language.