The Radeon GPU Analyzer (RGA) is an offline compiler and code analysis tool for Vulkan, DirectX, OpenGL, and OpenCL.

A Formally Verified Library of Double-Word Arithmetic

Fork of LLVM to support AMD AIEngine processors

Vitis In-Depth Tutorials

The Riallto Open Source Project from AMD

DebugIR: Debugging LLVM-IR Files

Decompile binary MOF file (BMF) from WMI buffer

How to enable S3 sleep state in Acer Swift 3 SF314-43

Parametric LEGO Technic-compatible parts and electronics enclosures

GCC Front-End for Rust

[DEPRECATED] Moved to ROCm/rocm-libraries repo

Library to plot integer sets and maps

MonoSAT - An SMT solver for Monotonic Theories

A Visualization Tool for compiler graphs

Super-parallel Python port of the C-Reduce

Debugging LLVM JIT code inside Visual Studio with PDB

A GPU implementation for computing the treewidth of a graph

Portable and vendor neutral framework for parallel programming on heterogeneous platforms.

Automatic verification of LLVM optimizations

OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, publication and presentations, please check out our website ->

Render hierarchical git repositories into HTML

GCC plugin that embeds CPython inside the compiler

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

Sieve for Exchange but really just Perl doing HTTP requests

Install & Run nix without root permissions [maintainer=@Mic92]

Google's differential privacy libraries.