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.