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.