SoftFPU is a C++ library implementing concrete and symbolic mantics for floating point numbers as defined in the IEEE-754 Standard r Floating-Point Arithmetic. It is templated in terms of the t-vectors, propositions, floating-point formats and rounding mode types ed. This allow the same code to be executed as an arbitrary precision brary or to be used to build symbolic representations of floating-point erations.

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.

OR-Tools is a C++ portable software suite, tuned for solving combinatorial optimization problems in vehicle routing, flows, integer, linear and constraint programming.

An implementation of the maxflow algorithm described in An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Computer Vision.

Yuri Boykov and Vladimir Kolmogorov.

In IEEE Transactions on Pattern Analysis and Machine Intelligence,

September 2004

HiGHS provides serial and parallel solvers for large-scale sparse linear programming (LP), mixed-integer programming (MIP), and quadratic programming (QP) models.

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

Veusz is a scientific plotting and graphing program with a graphical user interface, designed to produce publication-ready 2D and 3D plots. In addition it can be used as a module in Python for plotting. It supports vector and bitmap output, including PDF, Postscript, SVG and EMF.

SuiteSparse is a suite of sparse matrix algorithms. This package contains a library with common configuration options.

PnetCDF is a high-performance parallel I/O library for accessing Unidata's NetCDF, files in classic formats, specifically the formats of CDF-1, 2, and 5.

This package provides a C++ interface to the NetCDF library for scientific data storage.

This package contains a set of routines for computing the LDL' factorization of sparse, symmetric matrices. Its focus lies on concise code.

This is a header-only C++ library for calculating analytical derivatives and taylor expansions of composite functions.

This package provides a computer algebra module for Lie groups. Documentation is available on http://www-math.univ-poitiers.fr/~maavl/pdf/LiE-manual.pdf.

This is a filter for HDF5 that uses the Blosc compressor; by installing this filter, you can read and write HDF5 files with Blosc-compressed datasets.

GNU Units converts numeric quantities between units of measure. It can handle scale changes through adaptive usage of standard scale prefixes (micro-, kilo-, etc.). It can also handle nonlinear conversions such as Fahrenheit to Celsius. Its interpreter is powerful enough to be used effectively as a scientific calculator.

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

SoPlex is an optimization package for solving linear programming problems (LPs) based on an advanced implementation of the primal and dual revised simplex algorithm. It provides special support for the exact solution of LPs with rational input data. It can be used as a standalone solver reading MPS or LP format files via a command line interface as well as embedded into other programs via a C++ class library.

PETSc, pronounced PET-see (the S is silent), is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations.

LinAsm is collection of very fast and SIMD optimized assembly written libraries for x86-64.

It implements many common and widely used algorithms for array manipulations: searching, sorting, arithmetic and vector operations, unit conversions; fast mathematical and statistic functions; numbers and time converting algorithms; finite impulse response (FIR) digital filters; spectrum analysis algorithms, Fast Hartley transformation; CPU cache friendly functions and extremely fast abstract data types (ADT) such as hash tables b-trees, and much more.

SMTInterpol is an SMT solver, that can compute Craig interpolants for various theories.

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

This package provides a range of SAT solvers, including the sequential lingeling and its parallel variants plingeling and treengeling. A bounded model checker is also included.

Arccon is part of the Arcane framework, providing core functionality for the Arcane development platform.