librlog5t64

flexible message logging library

RLog provides a flexible message logging facility for C++ programs and libraries. It is meant to be fast enough to live in production code.

libcamera-calibration-parsers0t64

Robot OS camera_calibration_parsers package

This package is part of Robot OS (ROS). The package provides the library with routines for reading and writing camera calibration parameters.

libcvc5-1

automated theorem prover for SMT problems (runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.

libtemplate-plugin-gettext-perl

Gettext Support For the Template Toolkit Version 2

Template::Plugin::Gettext provides an end-to-end localization and internationalization solution for the Template Toolkit 2.

libtty1t64

terminal/ttyrec library -- runtime

libtty is a library for handling terminal output. It is kind of "reverse curses" -- it is on the receiving end of tty data, accepting vt100 codes and managing a virtual terminal. It lacks input handling thus is unfit for a real terminal emulator, but includes functions for storing a history of frames to handle a "video" recording.

openjdk-22-jdk-headless

OpenJDK Development Kit (JDK) (headless)

OpenJDK is a development environment for building applications, applets, and components using the Java programming language.