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.
libcoq-stdlib
proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
libcoq-hott
Coq library for homotopy type theory
This library is a formalization of homotopy type
theory for Coq, where propositional equality is
interpreted as homotopy and type isomorphism as
homotopy equivalence.
libcoq-coquelicot
Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
ruby-actiontext
edit and display rich text (part of Rails)
Action Text brings rich text content and editing to Rails. It includes
the Trix editor that handles everything from formatting to links to
quotes to lists to embedded images and galleries.