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.