gle-graphics-library
Library of routines and example scripts written in GLE
These scripts used to come bundled with the GLE distribution. However,
they may get updated prior to the next release. This repo makes them
available separately for users to modify and/or update outside of the GLE
release schedule.
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.
libgnuradio-fft3.10.11
gnuradio fast Fourier transform functions
Library for Fourier transform techniques used in gnuradio.
Uses single precision FFT from libfftw3-single3.
Part of the main gnuradio build.