Skip to content
View kuhar's full-sized avatar
  • AMD (AI Group)
  • Toronto, ON, Canada
  • 22:29 (UTC -04:00)

Organizations

@seahorn @ROCmSoftwarePlatform @llvm @ROCm @nod-ai @openxla @iree-org

Block or report kuhar

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

A GLSL compiler targeting SPIR-V mlir

C++ 19 2 Updated Oct 18, 2024

Even simpler opt-in poison semantics for MLIR.

C++ 2 Updated Mar 28, 2024

A enumerator for MLIR, relying on the information given by IRDL.

C++ 19 5 Updated Mar 18, 2025

BigWheels is a cross-platform, API agnostic framework to build graphics applications.

C++ 96 39 Updated Mar 14, 2025

Resumes generated using the GitHub informations

JavaScript 62,332 1,358 Updated Feb 15, 2023

Mold: A Modern Linker 🦠

C++ 15,013 492 Updated Mar 26, 2025
C++ 1 Updated Aug 23, 2021

Read your own .note.gnu.build-id

C 42 8 Updated Apr 3, 2022

Optimizing scheduler. Combinatorial instruction scheduling project.

C++ 25 19 Updated Feb 26, 2025

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

C++ 3,864 265 Updated Mar 22, 2025

A set of scripts for building LLPC for the GraphicsFuzz project

Shell 7 4 Updated Aug 24, 2021

earlyoom - Early OOM Daemon for Linux

C 3,295 174 Updated Nov 2, 2024

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,283 184 Updated Jul 22, 2024

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

C++ 165 30 Updated Jun 13, 2024

C++ STL implementation for SeaHorn

C++ 1 1 Updated Aug 6, 2019

Constraint solver based on coverage-guided fuzzing

C++ 243 20 Updated Nov 28, 2023

Data processing and execution

Python 3 4 Updated May 26, 2023

A LLVM-based static analysis framework.

C++ 975 145 Updated Mar 28, 2025

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

LLVM 1 Updated Nov 14, 2018

Binaries for external dependencies needed to build/use SeaHorn

2 Updated Jul 28, 2019

a small build system with a focus on speed

C++ 11,763 1,649 Updated Mar 26, 2025

std::tuple like methods for user defined types without any macro or boilerplate code

C++ 1,372 161 Updated Mar 15, 2025

Study materials for SE/CS technical interviews

1,608 229 Updated May 8, 2023

A lightweight & cross-platform IDE supporting the most recent C++ standards. This project has moved to https://gitlab.com/cppit/jucipp.

C++ 883 96 Updated Jun 11, 2018

Check out the example at http://claymcleod.github.io/pandoc-academic-publication/examples/smart-objects-ieee/paper.html

TeX 82 8 Updated Oct 23, 2015

Magnificent app which corrects your previous console command.

Python 91,242 3,663 Updated Jul 19, 2024

Alive: Automatic LLVM's Instcombine Verifier

Python 218 22 Updated Jun 16, 2023

A very sane (header only) C++14 JSON library

C++ 133 23 Updated Jan 2, 2017

Channels in C++

C++ 2 Updated Jan 30, 2015

Meta programming utilities for C++14. Merged in matt-42/lithium

C++ 725 59 Updated Dec 7, 2019
Next