libkcompactdisc6-5

CD drive library for KDE Platform (runtime)

The KDE Compact Disc library provides an API for applications using the KDE Platform to interface with the CD drives for audio CDs.

osmo-tetra

TETRA trunked radio system software

This project aims at practical research and experimentation with the TETRA trunked radio system.

puppet-hiera-enc

hiera-based micro-enc for puppet

This project acts as a miniature Puppet ENC in YAML files, made accessible by Hiera. This makes server-side node configuration (e.g. environments, custom node parameters) easy to edit in the same way (and same place) as normal Hiera-based Puppet data.

python3-pypck

Library for interacting with LCN systems over the PCK protocol

This library enables integration with LCN (Local Control Network) hardware systems via the LCN-PCK protocol. It facilitates communication with various LCN modules by sending and receiving commands through an LCN-PCHK host. Compatible hardware includes binary sensors, climate controls, covers, lighting, scenes, sensors, and switches. Users can manage and monitor these devices, interacting with the LCN system for automation and control. The library requires a valid LCN-PCHK license along with the necessary hardware coupler to establish a connection.

libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)

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.

libspatialindex-c8

General framework for developing spatial indices - C library

Spatialindex is a C++ library that provides a framework for developing spatial indices. Currently it defines generic interfaces, provides simple main memory and disk based storage managers and a robust implementation of an R*-tree, an MVR-tree and a TPR-tree.