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.