graphical text editor based on wiki technologies

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.