libcoq-serapi-ocaml

interaction with Coq (runtime)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

libcoq-coquelicot

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

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

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.

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.

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.