Skip to content
  • Google
  • Toronto, ON, Canada


@google @KhronosGroup @seahorn @llvm @iree-org
Block or Report

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.

Add an optional note:
Report abuse

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

Report abuse


  1. The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    16.1k 6.1k

  2. LLVM-Based Pipeline Compiler

    C++ 118 97

  3. SeaHorn Verification Framework

    C 340 120

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

    C++ 131 29

  5. Vulkan layers to measure pipeline performance and analyze frame times.

    C++ 25 9

  6. smt-jit Public

    Simple JIT evaluator for a subset of SMT-LIB

    SMT 2 2

766 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2022

Created an issue in llvm/llvm-project that received 4 comments

[DirectX] Link errors with BUILD_SHARED_LIBS=ON

When enabling shared libs builds on linux, the DX backend fails to link and resolve some symbols: FAILED: lib/ : && /us…


Seeing something unexpected? Take a look at the GitHub profile guide.