android-udev-rules
udev rules for Android tools
This package provides udev rules enabling the Android SDK tools adb and
fastboot to work without root access to the host machine.
mathlibtools
supporting tool for Lean mathlib
mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan it allows a user to create, build, update and
otherwise manage projects using the Lean 3 theorem prover and the mathlib
library of mathematics and tactics.
libstarpumpi-1.4-2
Task scheduler for heterogeneous multicore machines
StarPU is a runtime system that offers support for heterogeneous
multicore machines. While many efforts are devoted to design efficient
computation kernels for those architectures (e.g. to implement BLAS
kernels on GPUs or on Cell's SPUs), StarPU not only takes care of
offloading such kernels (and implementing data coherency across
the machine), but it also makes sure the kernels are executed as
efficiently as possible.
libusb3380-0t64
USB3380 abstraction layer for libusb
The USB 3380 is a PCI Express Gen 2 to USB 3.0 SuperSpeed Peripheral
Controller. It features one PCI Express Gen 2 x1 port and one USB 3.0
SuperSpeed client port. The USB 3380 provides a matching bandwidth at 5 GT/s
between the PCI Express Gen 2 bus and the USB 3.0 SuperSpeed bus.
libjheaps-java
Java library with various heap implementations
This library contains various heap implementations written in Java.
A heap is a priority queue data type which contains elements with keys
(duplicate keys are permitted) from a totally-ordered universe.
The library is easy to use, its data structures have a well defined interface,
it is fast and well documented, and the heaps are written in a similar way as
in the JDK.
libgfortran-13-dev-m68k-cross
Runtime library for GNU Fortran applications (development files)
This package contains the headers and static library files needed to build
GNU Fortran applications.