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.