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.