zim
graphical text editor based on wiki technologies
Zim is a graphical text editor used to maintain a collection of wiki pages.
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.
libtrilinos-pliris-13.2
Trilinos dense solvers package - runtime files
Pliris is an object-oriented interface to a LU solver for dense matrices on
parallel platforms. These matrices are double precision real matrices
distributed on a parallel machine.