The rocprofiler-register library coordinates the modification of the intercept API table(s) of the HSA/HIP/ROCTx runtime libraries by the ROCprofiler (v2) library.

OpenCL 2.0 compatible language runtime, supporting offline and in-process/in-memory compilation.

Utility to get the ROCm release version

ROC profiler library. Profiling with perf-counters and derived metrics.

The ROCm System Management Interface Library, or ROCm SMI library, is part of the Radeon Open Compute ROCm software stack. It is a C library for Linux that provides a user space interface for applications to monitor and control GPU applications.

ROCm cmake modules provides cmake modules for common build tasks needed for the ROCM software stack.

The HIP CPU Runtime is a header-only library that allows CPUs to execute unmodified HIP code. It is generic and does not assume a particular CPU vendor or architecture.

List HSA Agents available to ROCm and show their properties.

Rocq is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

This package provides the RocqIDE, a graphical user interface for the development of interactive proofs.

Rocq is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

This package provides the coqidetop language server, an implementation of Rocq's XML protocol which allows clients, such as RocqIDE, to interact with the Rocq Prover in a structured way.

Rocq is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

This package includes the Rocq Prover core binaries, plugins, and tools, but not the language's standard library implementation.

Rocq is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

This package includes the Rocq standard library some other core language libraries.

This package provides status proto mapping for gRPC.

Thrift provides clean abstractions and implementations for data transport, data serialization, and application level processing. The code generation system takes a simple definition language as input and generates code across programming languages that uses the abstracted stack to build interoperable RPC clients and servers.

gRPC is a modern high performance Remote Procedure Call (RPC) framework that can run in any environment. It can efficiently connect services in and across data centers with pluggable support for load balancing, tracing, health checking and authentication. It is also applicable in last mile of distributed computing to connect devices, mobile applications and browsers to backend services.

This package provides a Python library for communicating with the HTTP/2-based RPC framework gRPC.

This is a PEP-561-compliant stub-only package which provides type information of gRPC.

The gRPC tools for Python provide a special plugin for generating server and client code from .proto service definitions.

This package provides a library for making, reading and applying deltarpms, compatible with the original deltarpm packages.

The libmodulemd API provides a number of convenience tools for interacting with repodata (that is, streams of YAML that contains information on multiple streams, default data and translations).

This package provides the createrepo command, which can be used to create RPM repositories.

The Round Robin Database Tool (RRDtool) is a system to store and display time-series data (e.g. network bandwidth, machine-room temperature, server load average). It stores the data in Round Robin Databases (RRDs), a very compact way that will not expand over time. RRDtool processes the extracted data to enforce a certain data density, allowing for useful graphical representation of data values.

Librsync is a free software library that implements the rsync remote-delta algorithm. This algorithm allows efficient remote updates of a file, without requiring the old and new versions to both be present at the sending end. The library uses a "streaming" design similar to that of zlib with the aim of allowing it to be embedded into many different applications.

Librsync is a free software library that implements the rsync remote-delta algorithm. This algorithm allows efficient remote updates of a file, without requiring the old and new versions to both be present at the sending end. The library uses a "streaming" design similar to that of zlib with the aim of allowing it to be embedded into many different applications.