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.