Fortran

Numerical and scientific programming

Visit Fortran official site

What it does

The Fortran community website collects language-learning resources, tools, and libraries covering arrays, numerical computation, and parallel programming for developers using the language in scientific and related analytical applications.

When to use it

When maintaining scientific code, consult learning and package resources for array operations, modules, and the tools used to build the program.

Futhark

Functional arrays for parallel computation

  • numerical
  • programming

Research

Agda

Dependent types for programs and proofs

  • verification
  • programming

Research

Chapel

Language-level parallel and distributed computing

  • programming
  • types

Research