libcoq-quickchick
randomized testing framework for Coq (plugin)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
This is a clone of FAR manager for Windows, similar, but more
powerful than Norton Commander/Midnight Commander.
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
The Coin-MP optimizer is an open source solver, it is part of the COIN-OR
project which is an initiative to spur the development of open-source software
for the operations research community.
coinor-libipopt3
Interior-Point Optimizer - shared libraries
Ipopt is an open-source solver for large-scale nonlinear continuous
optimization. It can be used from modeling environments, such as AMPL,
GAMS, or Matlab, and it is also available as a callable library with
interfaces to C++, C, and Fortran. Ipopt uses an interior point method,
together with a filter linear search procedure. Ipopt is part of the
larger COIN-OR initiative (Computational Infrastructure for Operations
Research).
libcoq-coquelicot
Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
libhdf5-openmpi-hl-cpp-100t64
HDF5 High Level C++ runtime files - OpenMPI version - unsupported
Hierarchical Data Format 5 (HDF5) is a file format and library for
storing scientific data. HDF5 was designed and implemented to address
the deficiencies of HDF4.x. It has a more powerful and flexible data
model, supports files larger than 2 GB, and supports parallel I/O.