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.