rdfind

find duplicate files utility

rdfind is a program to find duplicate files and optionally list, delete them or replace them with symlinks or hard links. It is a command line program written in c++, which has proven to be pretty quick compared to its alternatives.

r-bioc-scaledmatrix

creating a DelayedMatrix of scaled and centered values using GNU R

Provides delayed computation of a matrix of scaled and centered values. The result is equivalent to using the scale() function but avoids explicit realization of a dense matrix during block processing. This permits greater efficiency in common operations, most notably matrix multiplication.

gccgo-9-multilib-i686-linux-gnu

GNU Go compiler (multilib support) (cross compiler for i386 architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

python3-jpype

Binding the worlds of Java and Python (for Python 3)

JPype is an effort to allow Python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines.

gdc-9-arm-linux-gnueabi

GNU D compiler (version 2) (cross compiler for armel architecture)

This is the GNU D compiler, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

z3

theorem prover from Microsoft Research

Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.