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.