libcoq-mathcomp-field

Mathematical Components library for Coq (field)

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.

libgnuradio-iqbalance3.8.0

GNU Radio Blind IQ imbalance estimator and correction (shared library)

The general idea is to suppress symmetrical images caused by IQ imbalance in the RX path of quadrature receivers. It's composed of two subblocks: "IQ Bal Fix" and "IQ Bal Optimize".

libqgis-analysis3.4.11

QGIS - shared analysis library

gm2-9-riscv64-linux-gnu

GNU Modula-2 compiler (cross compiler for riscv64 architecture)

This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

libgm2-0-alpha-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

libplplotcxx15

Scientific plotting library (C++ binding)

PLplot is relatively small, portable, freely distributable, and is rich enough to satisfy most users. It has a wide range of plot types including line (linear, log), contour, 3D, fill, and almost 1000 characters (including Greek and mathematical) in its extended font set. The package is designed to make it easy to quickly get graphical output; only a handful of function calls is typically required. For more advanced use, virtually all aspects of plotting are configurable.