lomiri-docviewer-app

Document Viewer 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).

lomiri-gallery-app

Gallery 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).

librc1t64

dependency based service manager (runtime library)

OpenRC is a dependency based service manager. It provides support for System V init, for booting, changing runlevels, starting and stopping services, and shutting down.

libsop-java-picocli-java

Stateless OpenPGP Protocol API and CLI for Java - picocli wrapper

The Stateless OpenPGP Protocol specification defines a generic stateless CLI for dealing with OpenPGP messages. Its goal is to provide a minimal, yet powerful API for the most common OpenPGP related operations.

libghc-copilot-c99-prof

Compiler for Copilot targeting C99; profiling libraries

This package is a back-end from Copilot to C.

libghc-copilot-theorem-prof

k-induction for Copilot.; profiling libraries

Some tools to prove properties on Copilot programs with k-induction model checking.