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.