libtrilinos-kokkos-13.2

Trilinos Kokkos programming model - runtime files

Kokkos implements a programming model in C++ for writing performance portable applications targeting all major HPC platforms. For that purpose it provides abstractions for both parallel execution of code and data management. Kokkos is designed to target complex node architectures with N-level memory hierarchies and multiple types of execution resources. It currently can use OpenMP, Pthreads and CUDA as backend programming models.

libtrilinos-komplex-13.2

complex linear solver package - runtime files

Komplex is a complex linear solver package. Solves complex-valued linear systems via equivalent real formulations.

ruby-raindrops

real-time stats for preforking Rack servers

raindrops is a real-time stats toolkit to show statistics for Rack HTTP servers. It is designed for preforking servers such as unicorn, but should support any Rack HTTP server on platforms supporting POSIX shared memory. It may also be used as a generic scoreboard for sharing atomic counters across multiple processes.

coq-theories

proof assistant for higher-order logic (theories)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

libtrilinos-nox-13.2

robust solution of nonlinear equations - runtime files

NOX robustly solves and analyzes large-scale systems of nonlinear equations. NOX is short for Nonlinear Object-Oriented Solutions, and its objective is to enable the robust and efficient solution of the equation: F(x)=0 using globalized Newton methods such as line search and trust region methods. NOX is designed to work with any linear algebra package and to be easily customized.

libtrilinos-pamgen-13.2

hexahedral and quadrilateral mesh generator - runtime files

PAMGEN creates hexahedral or quadrilateral (in 2D) finite element meshes of simple shapes (cubes and cylinders) in parallel. When linked to an application as a library, it allows each process of a parallel simulation to generate its finite element domain representation at execution time.