vzlogger
program for logging measurements to a volkszaehler.org middleware
vzlogger...
* is a tool to read and log measurements of a wide variety of smartmeters and
sensors to the volkszaehler.org middleware.
* can run as a daemon or via Cron.
* includes a tiny onboard httpd to serve
realtime readings to the AJAX web frontend.
* is written in C++.
gimp-help-uk
Documentation for the GIMP (Ukrainian)
This package contains the documentation files for the GIMP designed for use
with the internal GIMP help browser or external web browsers.
gimp-help-zh-cn
Documentation for the GIMP (Simplified Chinese)
This package contains the documentation files for the GIMP designed for use
with the internal GIMP help browser or external web browsers.
gcc-11-mipsisa64r6el-linux-gnuabi64
GNU C compiler (cross compiler for mips64r6el architecture)
This is the GNU C compiler, a fairly portable optimizing compiler for C.
libgnuradio-fft3.10.0
gnuradio fast Fourier transform functions
Library for Fourier transform techniques used in gnuradio.
Uses single precision FFT from libfftw3-single3.
Part of the main gnuradio build.
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.