This library is for accessing Home Assistant Bluetooth models. Libraries use these models to receive and parse Bluetooth advertisement data.

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

uhttpmock is a HTTP web service mocking project for projects which use libsoup. It is still in its infancy, but is already used by libgdata for unit testing.

The package provides an alternative runtime using the Zero VM. Built on architectures in addition to the Hotspot VM as a debugging aid for those architectures which don't have a Hotspot VM.

OpenJDK is a development environment for building applications, applets, and components using the Java programming language.

This package is part of ROS 2, the Robot Operating System. ROS 2 uses the OMG Data Distribution Standard (DDS) as middleware layer, which in turn relies on the Interface Definition Language (IDL) to define the messages which can be exchanged between ROS network participants. For historical reasons, ROS has its own message definition format; the ROS 2 IDL support layer is responsible for transforming the ROS message format to the IDL format.