libllvmspirvlib11

bi-directional translator for LLVM/SPIRV -- shared library

SPIRV-LLVM-translator is a LLVM/SPIRV bi-directional translator. This package includes a library and a tool for translation between LLVM IR and SPIR-V.

ada-reference-manual-2020

reference documentation for the Ada language (2020 preview)

The Ada Reference Manual is the ISO standard describing the programming language Ada. The annotated manual provides implementors of Ada tools with more background. Both documents are available in HTML, PDF, info, and plain text formats.
Fast, lightweight and minimalistic Wayland terminal emulator

foot

Fast, lightweight and minimalistic Wayland terminal emulator

The fast, lightweight and minimalistic Wayland terminal emulator. Features

postgresql-13-mimeo

specialized, per-table replication between PostgreSQL instances

Mimeo is a PostgreSQL extension that provides specialized, per-table replication between PostgreSQL instances. It currently provides snapshot (whole table copy), incremental (based on an incrementing timestamp or id), and DML (inserts, updates and deletes) replication methods.

gnome-authenticator

TOTP authentication app for the GNOME Desktop

Authenticator is an application for the GNOME desktop, featuring: - QR code scanner - Beautiful UI - Huge database of more than 560 supported services - Keep your PIN tokens secure by locking the application with a password - Automatically fetch an image for services using their favicon - The possibility to add new services

libmpich12

Shared libraries for MPICH

MPICH is a high-performance and widely portable implementation of the MPI-4.1 standard from the Argonne National Laboratory. It efficiently supports different computation and communication platforms including commodity clusters, SMPs, massively parallel systems, and high-speed networks. This release has all MPI 4.1 functions and features required by the standard with the exception of support for the "external32" portable I/O format and user-defined data representations for I/O.