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.