libghc-ogma-language-lustre-prof

Runtime Monitor translator: Lustre Language Frontend; profiling libraries

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

libhalideaot12-0

fast, portable computation on images and tensors (virtual library)

Halide is a programming language designed to make it easier to write high-performance image and array processing code on modern machines.

postgresql-15-repmgr

replication manager for PostgreSQL 15

repmgr is an open-source tool suite for managing replication and failover in a cluster of PostgreSQL servers. It enhances PostgreSQL's built-in hot-standby capabilities with tools to set up standby servers, monitor replication, and perform administrative tasks such as failover or manual switchover operations.

google-android-sources-27-installer

Google's 'Sources for Android 27' Installer

This package will download the Google's Sources for Android 27 package and unpacks it into Debian-friendly paths.

libdmrconf0.10

Library to program DMR radios

Libdmrconf is a Qt5 library to interface and program DMR radios. DMR is a digital modulation standard used in amateur and commercial radio. This library provides the core functionality to read, write, encode and decode binary codeplugs for several radios, including AnyTone AT-D868UVE, AT-D878UV, AT-878UVII, AT-D578UV, TyT MD-390, MD-UV380, MD-UV390, MD-2017, Retevis RT8, RT3S, RT82, Radioddity RD5R, GD-77, Baofeng DMR-6X2 and radio running the OpenGD77 firmware.

libghc-ogma-extra-prof

Helper tool to interoperate between Copilot and other languages; profiling libra

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.