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.