postgresql-16-pg-permissions

see all permissions in a PostgreSQL database

pg_permissions is a simple set of views to see all permissions in a PostgreSQL database.

koko

Image gallery for Plasma mobile

Koko is an image viewer designed for desktop and touch devices.

lomiri-camera-app

Camera and Barcode Scanner App for Lomiri Operating Environment

This app is a core app for Ubuntu Touch's shell Lomiri. Ubuntu Touch is a mobile OS developed by the UBports Foundation. Lomiri is its operating environment optimized for touch based human-machine interaction, but also supports convergence (i.e. switching between tablet/phone and desktop mode).

libcoq-ott

Ott tool (Coq plugin)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

node-gulp-mocha

Run mocha tests with gulp

This package allows one to integrate mocha unit tests with gulp

libgnat-11-s390x-cross

runtime for applications compiled with GNAT (shared library)

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).