libnvidia-ngx1

NVIDIA NGX runtime library

The NVIDIA binary driver provides optimized hardware acceleration of OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server for graphics cards using NVIDIA chip sets.

libcppad-lib1456.0t64

Automatic Differentiation of C++ algorithms, shared library

CppAD is a package for automatic differentiation (AD) of algorithms written in C++. Given appropriately written C++ code that computes a function, CppAD augments it to also compute derivative values. The system uses templates, supports forward and reverse accumulation modes, and allows nested derivatives.

libevdi1

Extensible Virtual Display Interface driver client library

The Extensible Virtual Display Interface (EVDI) is a Linux kernel module that enables management of multiple screens, allowing user-space programs to take control over what happens with the image. It is essentially a virtual display you can add, remove and receive screen updates for, in an application that uses the libevdi library.

libghc-copilot-core-prof

Intermediate representation for Copilot.; profiling libraries

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.

libghc-copilot-interpreter-prof

Interpreter for Copilot.; profiling libraries

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.
GTK+ based tool to make annotations on screen with multiple pointers

gromit-mpx

GTK+ based tool to make annotations on screen with multiple pointers

Gromit-MPX enables you to make annotations on your screen using multiple pointing devices at once.