Skip to content
View frederik-h's full-sized avatar

Block or report frederik-h

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

C++ 458 57 Updated Nov 4, 2025

A Formally Verified Library of Double-Word Arithmetic

Rocq Prover 3 Updated Oct 30, 2025

Fork of LLVM to support AMD AIEngine processors

LLVM 173 30 Updated Nov 6, 2025

Vitis In-Depth Tutorials

C 1,480 592 Updated Oct 23, 2025

The Riallto Open Source Project from AMD

Jupyter Notebook 84 10 Updated Apr 10, 2025
C 489 88 Updated Nov 6, 2025

An MLIR-based toolchain for AMD AI Engine-enabled devices.

MLIR 4 2 Updated Aug 2, 2024

DebugIR: Debugging LLVM-IR Files

C++ 145 20 Updated Dec 7, 2024

Decompile binary MOF file (BMF) from WMI buffer

C 55 17 Updated Apr 16, 2023

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

16 1 Updated Oct 22, 2024

Parametric LEGO Technic-compatible parts and electronics enclosures

OpenSCAD 96 11 Updated Sep 28, 2020

GCC Front-End for Rust

C++ 2,748 193 Updated Nov 4, 2025

Modify multiple occurrences simultaneously

Emacs Lisp 426 43 Updated Oct 17, 2025

[DEPRECATED] Moved to ROCm/rocm-libraries repo

C++ 129 75 Updated Oct 30, 2025

Library to plot integer sets and maps

Jupyter Notebook 53 11 Updated Nov 27, 2016

MonoSAT - An SMT solver for Monotonic Theories

C++ 113 32 Updated Mar 21, 2025

A Visualization Tool for compiler graphs

C 9 2 Updated Sep 5, 2018

Super-parallel Python port of the C-Reduce

Rust 303 32 Updated Nov 4, 2025

Debugging LLVM JIT code inside Visual Studio with PDB

C++ 17 2 Updated Feb 18, 2021

A GPU implementation for computing the treewidth of a graph

C# 2 Updated Jun 29, 2017
Python 35 31 Updated Nov 2, 2025

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

C++ 432 90 Updated Nov 5, 2025

Automatic verification of LLVM optimizations

C++ 995 130 Updated Oct 16, 2025

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

C 60 23 Updated Nov 6, 2025

Render hierarchical git repositories into HTML

Python 74 4 Updated Jan 9, 2025
Shell 6 1 Updated Jul 21, 2020

GCC plugin that embeds CPython inside the compiler

Python 207 58 Updated Dec 31, 2021

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…

TypeScript 7,268 179 Updated Jul 22, 2024

Compiler for Neural Network hardware accelerators

C++ 3,315 701 Updated May 11, 2024
Next