python-functools32
Backport of the functools module from Python 3.2.3 to Python 2.7
This is a backport of the functools standard library module from Python 3.2.3
for use on Python 2.7 and PyPy. It includes new features lru_cache
(Least-recently-used cache decorator).
pcb-rnd-lib-gl
Support library for rendering with opengl.
Provides plugins for driving an opengl output, rendering pcb-rnd
views on opengl.
docker-clean
simple Shell script to clean up the Docker Daemon
docker-clean is simple Shell script utility to clean up the Docker Daemon,
required Docker Daemon version (>= 1.9).
minisat+
solver for pseudo-Boolean constraints
MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1
integer programming) that is based on the MiniSat SAT-solver. It
supports optimizing a linear objective function, subject to a set
of linear constraints. The variables of the objective function
and constraints are boolean, i.e. required to be 0 or
1. Pseudo-Boolean optimization can be used to solve many kinds of
combinatorial optimization problems. This version of Minisat+ is
compiled with bignum support for constraint coefficients.
libjs-websocket
WebSocket implementation for NodeJS, standalone API for browser
An implementation of the WebSocket API for NodeJS.
libhealpix0
HEALPix representation of spherical data - Fortran library
HEALPix is an acronym for Hierarchical Equal Area isoLatitude Pixelization
of a sphere. As suggested in the name, this pixelization produces a
subdivision of a spherical surface in which each pixel covers the same
surface area as every other pixel. It is commonly used to store all-sky
astronomical images, most famously maps of the cosmic microwave background.