libgnuradio-dtv3.10.10
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.
libada-bar-codes2
Bar or QR code formatter for the Ada programming language (shared library)
This Ada library generates various bar or QR codes, on different
output formats such as PDF, SVG or bitmaps.
libgnuradio-blocks3.10.10
gnuradio blocks functions
Some non-signal processing blocks.
These functions are also in gnuradio-core.
Part of the main gnuradio build.
libcoq-mathcomp-character
Mathematical Components library for Coq (character)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
libghdl-5-0-1
VHDL compiler/simulator (shared library)
GHDL is a compiler and simulator for VHDL, a Hardware Description Language.
GHDL is not an interpreter: it allows you to analyse and elaborate sources to
generate machine code from your design. Native program execution is the only
way for high speed simulation.
libwget2t64
Download library for files and recursive websites
GNU Wget is a network utility to retrieve files from the web
using HTTP(S) and FTP, the two most widely used internet
protocols. It works non-interactively, so it will work in
the background, after having logged off. The program supports
recursive retrieval of web-authoring pages as well as FTP
sites -- you can use Wget to make mirrors of archives and
home pages or to travel the web like a WWW robot.