libnvidia-tesla-cudadebugger1

NVIDIA CUDA Debugger Library (Tesla version)

The Compute Unified Device Architecture (CUDA) enables NVIDIA graphics processing units (GPUs) to be used for massively parallel general purpose computation.

libvisp-robot3.6t64

visual servoing platform robot library

This package contains the ViSP (Visual Servoing Platform) robot runtime library.

xrprof

External Sampling Profiler for R

xrprof (formerly rtrace) is an external sampling profiler for R on Linux and Windows.

libkf6baloowidgets6

Wigets for use with Baloo

Baloo is a framework for searching and managing metadata.

gccgo-13-multilib-i686-linux-gnu

GNU Go compiler (multilib support) (cross compiler for i386 architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.