ogma
Helper tool to interoperate between Copilot and other languages
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.
libaccinj64-12.3
NVIDIA ACCINJ Library (64-bit)
The Compute Unified Device Architecture (CUDA) enables NVIDIA
graphics processing units (GPUs) to be used for massively parallel
general purpose computation.
libags-audio7t64
Advanced Gtk+ Sequencer audio processing library
libags_audio is a tree based audio processing library built upon GObject and
libags. It allows you to do audio processing supporting LADSPA, DSSI and Lv2
plugin support. Audio data is processed multi-threaded.
postgresql-17-slony1-2
replication system for PostgreSQL: PostgreSQL 17 server plug-in
Slony-I is an asynchronous master-to-multiple-slaves replication system
for PostgreSQL with cascading and slave promotion.
postgresql-17-toastinfo
Show storage structure of varlena datatypes in PostgreSQL
This PostgreSQL extension exposes the internal storage structure of
variable-length datatypes, called varlena.
postgresql-17-wal2json
PostgreSQL logical decoding JSON output plugin
wal2json is an output plugin for PostgreSQL's logical decoding. The plugin has
access to tuples produced by INSERT and UPDATE. Also, UPDATE/DELETE old row
versions can be accessed depending on the configured replica identity. Changes
can be consumed using the streaming protocol (logical replication slots) or by
a special SQL API.