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.