User-mode API interfaces and libraries necessary for host applications to launch compute kernels to available HSA ROCm kernel agents.

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.

The AMD SMI allows managing and monitoring AMD devices, particularly in high-performance computing environments. It provides a user-space interface that allows applications to control GPU operations, monitor performance, and retrieve information about the system's drivers and GPUs. It also provides a command-line tool, amd-smi, which can be used to do the same.

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.

The ROCTracer library provides APIs for tracing (also asynchronous) runtime calls in an application. It is intended for tracing ROCm API calls in GPU applications, such as kernel dispatches and memory moves.

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.

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

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 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 includes the Rocq standard library some other core language libraries.

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.

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 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.

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

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).

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.

Openrsync is an alternate implementation of rsync, originally written for OpenBSD and ported to Linux and other Unix-like systems. It supports a subset of rsync's options.