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.

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.