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.