HIPIFY is a set of tools that you can use to automatically translate CUDA source code into portable HIP C++.

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.

List HSA Agents available to ROCm and show their properties.

Utility to get the ROCm release version

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

RCCL (ROCm Communication Collectives Library) is a library for collective communication on GPUs, such as reduce, gather or scatter operations.

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.

RocBandwidthTest is designed to capture the performance characteristics of buffer copying and kernel read/write operations. The help screen of the benchmark shows various options one can use in initiating cop/read/writer operations. In addition one can also query the topology of the system in terms of memory pools and their agents.

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.

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

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.

AQLprofile is an open source library that enables advanced GPU profiling and tracing on AMD platforms.

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

HIP language runtime, allowing execution of HIP kernels on AMD hardware, with library support for in-process/in-memory compilation (hipclr) of HIP kernel code, and its execution on AMD hardware.

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.

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

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

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

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.