A universal clock application for desktop and mobile. It contains alarm, timer, stopwatch and timezone functionalities. Alarms and timers are able to wake the device from suspend on Plasma.

Mir is a display server running on Linux systems, with a focus on efficiency, robust operation and a well-defined driver model.

Lomiri Thumbnailer is an API for the Lomiri operating environment to create and cache image thumbnails for local and remote media.

This package contains the SDK for i.Nova Technologies Cameras.

node-vega-embed makes it easy to embed interactive node-vega and node-vega-lite views into web pages. With node-vega-embed, it is possible to: * Load Vega/Vega-Lite specs from source text, parsed JSON, or URLs * Patch Vega specsto add additional functionality * Add action links such as "View Source" and "Open in Vega Editor" * Include Vega Tooltip

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.