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).

node-deprecated

Tool for deprecating things

deprecated is a nodejs module for deprecating things.

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.