php-symfony-polyfill-php84

Symfony polyfill backporting some PHP 8.4+ features to lower PHP versions

This component provides features added to PHP 8.4 core:

librhvoice5

RHVoice speech synthesizer - shared library

RHVoice uses statistical parametric synthesis. It relies on existing open source speech technologies (mainly HTS and related software).

python3-colcon-cmake

collective construction meta build tool - CMake extension

This package is part of ROS 2, the Robot Operating System. colcon is a meta build tool to improve the workflow of building, testing and using multiple software packages. It is the recommended tool for ROS 2 to set up workspaces and build packages from source, but can also handle old ROS 1 workspaces.

planetary-system-stacker

create a sharp image of a planetary system object (moon, sun, planets)

This package contrains software to produce a sharp image of a planetary system object (moon, sun, planets) from many seeing-affected frames using the "lucky imaging" technique._

python3-pynput

control and monitor input devices (Python 3)

This library allows you to control and monitor input devices. Currently, mouse and keyboard input and monitoring are supported.

libcoq-corn

Coq Constructive Repository at Nijmegen

This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations.