lomiri-wallpapers-16.04

Lomiri Wallpapers (as shipped with Ubuntu Touch 16.04)

Lomiri is an operating environment optimized for touch based human-machine interaction, but also supporting convergence (i.e. switching between tablet/phone and desktop mode). Lomiri is the user shell driving Ubuntu Touch based mobile devices.

hol88-library

Higher Order Logic, binary library modules

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

hol88-library-help

Higher Order Logic, library online help files

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

hol88-source

Higher Order Logic, source files

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

libtaskmanager6

Plasma Workspace task manager library

Plasma Workspace is used as the base for Plasma Desktop, Mobile, and Bigscreen. It contains shared KCM configuration screens, applets as well as multiple libraries.

lomiri-clock-app

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