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.