libstarpu-contrib-1.3-8
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.
gdc-13
GNU D compiler (version 2)
This is the GNU D compiler, which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
librcpputils0d
C++ Utilities for ROS 2
This package is part of ROS 2, the Robot Operating System.
It provides basic macros, functions, and data structures for the ROS 2
codebase.
libbctls-java
Bouncy Castle JSSE provider and TLS/DTLS API
The Bouncy Castle Java APIs for TLS and DTLS, including a
provider for the JSSE.
pipes-sh
Animated pipes terminal screensaver
Display pipes in your terminal. pipes-sh allows you to watch
pipes being drawn in your terminal. Multiple types for pipes are available.