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._
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.
libconsole-bridge1.0
console bridge - library
ROS-independent, pure CMake (i.e. non-catkin and non-rosbuild
package) that provides logging calls that mirror those found in
rosconsole, but for applications that are not necessarily using ROS.
wesnoth-1.16-server
multiplayer network server for Wesnoth (branch 1.16)
This package contains the multiplayer network server for Wesnoth. You need it
if you want to host multiplayer games on your computer and don't want to use
the official servers.