libtrilinos-globipack-13.2

1D globalization capabilities - runtime files

The GlobiPack package contains a set of interfaces and implementations for 1D globalization capabilities to be used in nonlinear solvers, optimization solvers, and similar algorithms that require globalization methods (e.g. line search and trust region methods). Basic interfaces and a few implementations are present for 1D line search methods appropritate for Newton, quasi-Newton, and nonlinear CG algorithms.

libtrilinos-intrepid-13.2

compatible discretizations of PDEs - runtime files

Intrepid is a library of interoperable tools for compatible discretizations of Partial Differential Equations (PDEs). Intrepid is intended primarily for application developers who want to reuse large parts of their existing code frameworks such as I/O, data structures, assembly routines, etc. while gaining access to advanced discretization capabilities provided by Intrepid.

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.