libgrantlee-core0

Grantlee templating library for Qt - Core

man2html

browse man pages in your web browser

Point your web browser at http://localhost/cgi-bin/man/man2html to read and search your man pages in the browser.

libgnuradio-comedi3.7.10

gnuradio comedi instrument control functions

libgnuradio-noaa3.7.10

gnuradio noaa satellite signals functions

libgnuradio-audio3.7.10

gnuradio audio functions

libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)

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.