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.