106 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3

Name Version Votes Popularity? Description Maintainer Last Updated
hpipm-git r1325.b140f36-1 0 0.00 High-performance interior-point-method QP solvers acxz 2022-07-13 17:10 (UTC)
hpipm 0.1.3-1 0 0.00 High-performance interior-point-method QP solvers acxz 2021-10-28 13:23 (UTC)
eqp 09e-3 0 0.00 Equational Prover (Theorem Prover for First-Order Equational Logic) oriba 2021-08-12 20:49 (UTC)
dumpifs-git 5.15-1 0 0.00 Dirty hack dumpifs. Modified to be compiled on most platform without QNX SQP. sickcodes 2022-07-12 00:09 (UTC)
amqp-qtools-git 0.5.0.6f42dfd-2 0 0.00 Command-line tools for sending and receiving AMQP 1.0 messages languitar 2021-10-06 17:54 (UTC)
amqp-cpp 4.3.26-1 0 0.00 AMQP-CPP is a C++ library for communicating with a RabbitMQ message broker. orphan 2024-04-02 19:56 (UTC)

106 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3