python3-firehose

Python bindings to the Firehose static analysis format

Static analysis data is, well, awesome! However, there's a problem of suffering from 10,000 different schemas, and unique ways of communicating the results.

libpetsc64-complex3.17

Shared libraries for version 3.17 of 64-bit PETSc with Complex Numbers

PETSc is the "Portable Extensible Toolkit for Scientific Computation", a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. Several sample scientific applications, as well as various papers and talks, demonstrate the features of the PETSc libraries.

libdyssol1.0t64

Tool for dynamic flowsheet simulation. Shared libraries

Dynamic simulation of solids processes, is a dynamic flowsheet modelling system designed to simulate the time-dependent behaviour of complex production processes in solids processing technology

condor-annex-ec2

distributed workload management system - single node configuration

Like other full-featured batch systems, HTCondor provides a job queueing mechanism, scheduling policy, priority scheme, resource monitoring, and resource management. Users submit their serial or parallel jobs to HTCondor; HTCondor places them into a queue. It chooses when and where to run the jobs based upon a policy, carefully monitors their progress, and ultimately informs the user upon completion.

apt-verify

allow extension of apt's gpgv-based verification mechanism

Apt-verify extends apt to call all tools in /etc/verify.d/ instead of always only calling gpgv, to verify apt archive integrity and authenticity. A symbolic link in /etc/verify.d/gpgv is installed by default to provide full backwards compatibility.

condor-test

distributed workload management system - single node configuration

Like other full-featured batch systems, HTCondor provides a job queueing mechanism, scheduling policy, priority scheme, resource monitoring, and resource management. Users submit their serial or parallel jobs to HTCondor; HTCondor places them into a queue. It chooses when and where to run the jobs based upon a policy, carefully monitors their progress, and ultimately informs the user upon completion.