corosync-vqsim

cluster engine votequorum simulator

The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features:

lib++dfb-1.7-7t64

direct frame buffer graphics (++DFB shared library)

DirectFB is a graphics library which was designed with embedded systems in mind. It offers maximum hardware accelerated performance at a minimum of resource usage and overhead.

libdirectfb-1.7-7t64

direct frame buffer graphics (shared libraries)

DirectFB is a graphics library which was designed with embedded systems in mind. It offers maximum hardware accelerated performance at a minimum of resource usage and overhead.

libdsdp-5.8t64

Software for Semidefinite Programming

The DSDP software is a free open source implementation of an interior-point method for semidefinite programming. It provides primal and dual solutions, exploits low-rank structure and sparsity in the data, and has relatively low memory requirements for an interior-point method. It allows feasible and infeasible starting points and provides approximate certificates of infeasibility when no feasible solution exists. The dual-scaling algorithm implemented in this package has a convergence proof and worst-case polynomial complexity under mild assumptions on the data. Furthermore, the solver offers scalable parallel performance for large problems and a well documented interface. Some of the most popular applications of semidefinite programming and linear matrix inequalities (LMI) are model control, truss topology design, and semidefinite relaxations of combinatorial and global optimization problems.

libkiwix14

library of common code for Kiwix

Kiwix is an offline Wikipedia reader. libkiwix provides the software core for Kiwix, and contains the code shared by all Kiwix ports (Windows, Linux, OSX, Android, etc.).

python3-firehose

Python bindings to the Firehose static analysis format

Static analysis data is, well, awesome! However, there's a problem of suffering from 10,000 different schemas, and unique ways of communicating the results.