libocsipersist-pgsql-ocaml

persistent key/value storage for Ocsigen using PostgreSQL (runtime)

This library provides a PostgreSQL backend for the unified key/value storage frontend as defined in the ocsipersist package. Ocsipersist is used pervasively in Eliom/Ocsigen to handle sessions and references. It can be used as an extension for ocsigenserver or as a library.

libmrpt-hwdrivers2.5

Mobile Robot Programming Toolkit - hwdrivers library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

postgresql-16-pgaudit

PostgreSQL Audit Extension

The pgAudit extension provides detailed session and/or object audit logging via the standard PostgreSQL logging facility.

libstopt5

library for stochastic optimization problems (shared library)

The STochastic OPTimization library (StOpt) aims at providing tools in C++ for solving some stochastic optimization problems encountered in finance or in the industry. Different methods are available: - dynamic programming methods based on Monte Carlo with regressions (global, local, kernel and sparse regressors), for underlying states following some uncontrolled Stochastic Differential Equations; - dynamic programming with a representation of uncertainties with a tree: transition problems are here solved by some discretizations of the commands, resolution of LP with cut representation of the Bellman values; - Semi-Lagrangian methods for Hamilton Jacobi Bellman general equations for underlying states following some controlled Stochastic Differential Equations; - Stochastic Dual Dynamic Programming methods to deal with stochastic stock management problems in high dimension. Uncertainties can be given by Monte Carlo and can be represented by a state with a finite number of values (tree); - Some branching nesting methods to solve very high dimensional non linear PDEs and some appearing in HJB problems. Besides some methods are provided to solve by Monte Carlo some problems where the underlying stochastic state is controlled. For each method, a framework is provided to optimize the problem and then simulate it out of the sample using the optimal commands previously computed. Parallelization methods based on OpenMP and MPI are provided in this framework permitting to solve high dimensional problems on clusters. The library should be flexible enough to be used at different levels depending on the user's willingness.

gobjc-11-mips64el-linux-gnuabi64

GNU Objective-C compiler

This is the GNU Objective-C compiler, which compiles Objective-C on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libstdc++-12-dev-mipsr6el-cross

GNU Standard C++ Library v3 (development files) (mipsr6el)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.