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.