libcalendarsupport4
calendar support library
libakonadi-kde4
library for using the Akonadi PIM data server
librte-baseband-acc100-22
Data Plane Development Kit (librte-baseband-acc100 runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
gerris
Fluid Flow Solver
Gerris is a system for the solution of the partial differential
equations describing fluid flow.
ubuntu-html5-container-autopilot
Autopilot tests for the Ubuntu HTML5 QML container component for HTML5 touch ...
libghc-ogma-language-jsonspec-prof
Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.