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.