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.
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.
irony-server
Emacs C/C++ minor mode powered by libclang (server)
irony-mode is an Emacs minor-mode that aims at improving the editing
experience for the C, C++ and Objective-C languages. It works by
using a combination of an Emacs package and a C++ program
(irony-server) that uses libclang.