libghc-ogma-language-c-prof

Ogma: Runtime Monitor translator: C Language 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.
reporter of changes in list of available packages from repositories

daptup

reporter of changes in list of available packages from repositories

Daptup is the apt hook which runs automatically within 'apt-get update' or 'cupt update' and outputs four lists: - packages came to archive with this update; - new upgradeable packages; - changes in "watched" packages (not installed, such packages have to be specified in configuration file); - outdated packages that have a new install candidate (optionally).

python3-django-ratelimit

Cache-based rate-limiting for Django (Python3 version)

Django Ratelimit is a ratelimiting decorator for Django views, storing rate data in the configured Django cache backend. It requires a Django cache backend that supports atomic increment operations. The Memcached and Redis backends do, but the database backend does not.

libotbossimplugins-6.4-1

ORFEO Toolbox library - OTBOssimPlugins

produces covers for audio CDs

disc-cover

produces covers for audio CDs

Disc-cover queries FreeDB for track information for a given CD and creates a jewel-case insert in one of many available formats. PostScript, PDF, Dvi, LaTeX, Plain Text, HTML, CDlabelgen and CDDB are available.
simple graphical filesystem configurator

disk-manager

simple graphical filesystem configurator

Disk-Manager is a simple filesystem configurator that allows you to: * Automatically detect new partitions at startup. * Fully manage configuration of filesystem. * Enable/disable write support for NTFS (needs ntfs-3g installed).