libiri-perl

Handle Internationalized Resource Identifiers in Perl

The IRI module is a Perl implementation of Internationalized Resource Identifiers (IRIs) as defined by RFC 3987.

libkf5idletime5

library to provide information about idle time

This library contains a class that allows applications to watch for user activity or inactivity. It is useful not only for finding out about the current idle time of the PC, but also for getting notified upon idle time events, such as custom timeouts, or user activity.

libmojolicious-plugin-authorization-perl

module to make authorization a bit easier for Mojolicious

Mojolicious::Plugin::Authorization provides a very simple API implementation of role-cbased access control (RBAC). This plugin is only an API you will have to do all the work of setting up your roles and privileges and then provide four subs that are used by the plugin. The plugin expects that the current session will be used to get the role its privileges. It also assumes that you have already been authenticated and your role set. That is about it you are free to implement any system you like.

libcoq-flocq

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

dict-freedict-deu-gle

German-Irish dictionary for the dict server/client

This is the German-Irish dictionary from the FreeDict project. It contains 16819 headwords (FreeDict status: big enough to be useful). It can be either used with the dictd server and a dict client or with GoldenDict.

libkf5kirigami2-5

set of QtQuick components targeted for mobile use

Kirigami is a set of QtQuick components at the moment targeted for mobile use (in the future desktop as well) targeting both Plasma Mobile and Android. A set of high level components to make the creation of applications that look and feel great on mobile as well as desktop devices and follow the Kirigami Human Interface Guidelines. The target of these components is anybody that wants to do an application using QtQuick as its main UI, especially if targeting a mobile platform, without adding many dependencies. They work on a variety of platforms, such as Plasma Mobile, Desktop Linux, Android and Windows.