liblrs2

package to enumerate vertices and extreme rays (shared libraries)

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

php-doctrine-deprecations

Doctrine Deprecations - Doctrine component

A small layer on top of trigger_error(E_USER_DEPRECATED) or PSR-3 logging with options to disable all deprecations or selectively for packages.

opensubdiv-tools

high performance subdivision surface (subdiv) library - tools

OpenSubdiv is a set of open source libraries that implement high performance subdivision surface (subdiv) evaluation on massively parallel CPU and GPU architectures. This codepath is optimized for drawing deforming subdivs with static topology at interactive framerates. The resulting limit surface matches Pixar's Renderman to numerical precision.

libppx-custom-printf-ocaml

printf-style format-strings for user-defined string conversion (runtime)

ppx_custom_printf is a ppx rewriter that allows the use of user-defined string conversion functions in format strings (that is, strings passed to printf, sprintf, etc.).

libmkl-rt

Intel® MKL: Single Dynamic Library (SDL)

Intel® Math Kernel Library (Intel® MKL) is a computing math library of highly optimized, extensively threaded routines for applications that require maximum performance.

libhtsjdk-java

Java API for high-throughput sequencing data (HTS) formats

HTSJDK is an implementation of a unified Java library for accessing common file formats, such as SAM (Sequence Alignment/Map) and VCF, used for high-throughput sequencing data. There are also an number of useful utilities for manipulating HTS data.