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.

postgresql-12-pglogical-ticker

Have time-based replication delay for pglogical

data thief for scientists

xyscan

data thief for scientists

xyscan is a tool for the scientist in the need to extract data points, i.e. numeric values, from a plot. It allows you to scan the plots and extract data points including the size of the error bars (both in x and y). It can handle plots with linear and logarithmic scales. In fact xyscan can be used for extracting numeric values from any kind of 2D technical drawings.