This is a staging site. Uploads will not persist. Testing only.
python3-pyvicare
Library for accessing Viessmann heating devices via the ViCare API
This library provides a means to access and interact with Viessmann heating
devices through the official ViCare API. It enables users to control various
functionalities of Viessmann devices, like gas boilers or heat pumps, when
connected to a network, making it possible to manage heating and domestic hot
water settings. By communicating with the Viessmann cloud service, the library
retrieves device information, monitor configurations, and send commands for
temperature adjustments and heating modes. This includes accessing device
metrics such as supply temperature, room temperature, and operational status.
Integration with another application, such as Home Assistant, is possible by
utilizing the data and capabilities exposed by the library. Note that
Viessmann's API rate limits apply to this library's operations.
libkpim6messagecore6
KDE PIM messaging library, core library
This package contains the message core library. It provides basic e-mail
message handling facilities.
marknote
Simple markdown note management app
It supports a wide range of formating options useful for taking notes,
like bold, italic, underlined and strike through fonts as well as headings,
lists, check boxes, images and more.
libcoq-mathcomp-real-closed
Real closed fields for Mathematical Components
This library contains definitions and theorems about real closed fields
for Mathematical Components. It includes a construction of the real
and algebraic closure (with a proof of the fundamental theorem of
algebra). The decidability of the first order theory of real closed
field, through quantifier elimination is also established.
libcoq-mathcomp-multinomials
Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
dict-freedict-ell-por
Modern Greek-Portuguese dictionary for the dict server/client
This is the Modern Greek-Portuguese dictionary from the FreeDict project. It
contains 12148 headwords (FreeDict status: big enough to be useful). It can be
either used with the dictd server and a dict client or with GoldenDict.