cbmc
bounded model checker for C and C++ programs
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
libghc-hsp-prof
Haskell library for dynamic server-side web pages; profiling libraries
Haskell Server Pages (HSP) is an extension of vanilla Haskell, targetted
at the task of writing dynamic server-side web pages. Features include
an embedded XML syntax and a (low-to-mid-level) programming model for
writing dynamic web pages.
nordugrid-arc-cache-service
ARC cache service
NorduGrid is a collaboration aiming at development, maintenance and
support of the free Grid middleware, known as the Advanced Resource
Connector (ARC).
nvidia-legacy-390xx-egl-wayland-icd
NVIDIA Wayland EGL external platform library (ICD)
python-qtpy
abtraction layer for PySide/PyQt4/PyQt5 (Python 2)
QtPy (pronounced 'cutie pie') is a small abstraction layer that lets you
write applications using a single API call to either PyQt or PySide. QtPy
also provides a set of additional QWidgets.