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.