libgnuradio-digital3.10.10

gnuradio digital communications functions

All the functions for doing digital modulation and demodulation, including bpsk, qpsk, gmsk and ofdm signals. Part of the main gnuradio build.

indi-maxdomeii

INDI driver for MaxDome II dome control system

This package contains an INDI driver for the MaxDome II dome control system. It is a fully automatic observatory dome control system. Link your dome to a personal computer for complete automation including telescope slaving and shutter control. MaxDome works with a wide variety of commercial and custom-built domes.

rhvoice-esperanto

RHVoice speech synthesizer - Esperanto voice

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

libh3-1

Hexagonal hierarchical geospatial indexing system - library

H3 is a geospatial indexing system using a hexagonal grid that can be (approximately) subdivided into finer and finer hexagonal grids, combining the benefits of a hexagonal grid with S2's hierarchical subdivisions.

libcoq-elpi-ocaml

Coq plugin embedding Elpi (runtime)

This package makes it possible to define new commands and tactics for Coq in Elpi.

postgresql-16-h3

PostgreSQL bindings for H3, a hierarchical hexagonal geospatial indexing system

H3 is a geospatial indexing system using a hexagonal grid that can be (approximately) subdivided into finer and finer hexagonal grids, combining the benefits of a hexagonal grid with S2's hierarchical subdivisions.