libcoq-equations
Coq library to work with functions defined by equations
This library provides a notation to write programs using dependent
pattern-matching and well-founded recursion in Coq.
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.
python3-httpcore
minimal low-level HTTP client
The HTTP Core package provides a minimal low-level HTTP client, which does one
thing only. Sending HTTP requests.
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.