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.

postgresql-17-pgtap

Unit testing framework extension for PostgreSQL 17

pgTAP is a suite of database functions that make it easy to write TAP-emitting unit tests in psql scripts suitable for harvesting, analysis, and reporting by a TAP harness, such as those used in Perl and PHP applications.

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

libmrpt-nanogui2.4

Mobile Robot Programming Toolkit - nanogui library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

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

libghc-copilot-theorem-prof

k-induction for Copilot.; profiling libraries

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