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++.