libgo23-arm64-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
libgo23-ppc64el-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
drat-trim
DART-trim satisfiability proof checker (binary utils)
DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.
libgnuradio-audio3.10.11
gnuradio audio functions
This is the gr-audio library, used to connect to audio sources
(mic-in) and sinks (speaker-out) ports on a computer. The underlying
hardware driver is system and OS dependent and this module should
automatically discover the correct one to use. Part of the main
gnuradio build.
libgnuradio-channels3.10.11
gnuradio channels functions
Some channel oriented processing blocks.
These functions are also in gnuradio-core.
Part of the main gnuradio build.
libgnuradio-dtv3.10.11
gnuradio digital TV signal processing blocks
ATSC support, gr-atsc ported to a new framework, as well as
DVB-S2, DVB-T, DVB-T2 digital video broadcast standards.
Part of the main gnuradio build.