libcoq-elpi-ocaml
Coq plugin embedding Elpi (runtime)
This package makes it possible to define new commands and tactics
for Coq in Elpi.
libgo21-powerpc-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
libflint-2.8.4
C library for number theory, shared library
The Fast Library for Integer Number Theory is a C library which supports
polynomial arithmetic over the integers, fast integer arithmetic and factoring
(including a highly optimized quadratic sieve).
btllib-tools
Bioinformatics Technology Lab common code library tools
Bioinformatics Technology Lab common code library in C++.
libstatistics-r-io-perl
Perl interface to serialized R data
Statistics::R::IO is a pure-Perl implementation for reading native data
files produced by the R statistical computing environment.
rockusb
Rockchip USB utility
rockusb is an independent re-implementation of the Rockchip USB
protocol used to communicate with various Rockchip processors. It
allows one to read information about the processor or the flash memory,
read and write files to and from flash, reset the device and various
other commands.