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-c99-prof

Compiler for Copilot targeting C99; profiling libraries

This package is a back-end from Copilot to C.

linux-support-5.16.0-4

Support files for Linux 5.16

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

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.

libnetsvcs-7.0.3

ACE network service implementations - libraries

ACE network services provide reusable components for common distributed system tasks such as logging, naming, locking, and time synchronization.

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.