Futhark

Functional arrays for parallel computation

Visit Futhark official site

What it does

Futhark provides a statically typed functional array language that compiles data-parallel programs for CPU or GPU execution, emphasizing array-based descriptions of numerical computation.

When to use it

For array computations on parallel hardware, compare map, reduce, and compiler backends to understand how data-parallel operations are expressed.

Fortran

Numerical and scientific programming

  • numerical
  • programming

Research

Agda

Dependent types for programs and proofs

  • verification
  • programming

Research

Chapel

Language-level parallel and distributed computing

  • programming
  • types

Research