Skip to content
  • Google
  • Toronto, ON, Canada




@google @KhronosGroup @seahorn @llvm @googlestadia
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.

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…

    12k 4.7k

  2. LLVM-Based Pipeline Compiler

    C++ 112 82

  3. SeaHorn Verification Framework

    C 318 110

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

    C++ 113 27

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

    C++ 20 7

  6. smt-jit Public

    Simple JIT evaluator for a subset of SMT-LIB

    SMT 2 2

720 contributions in the last year

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

Contribution activity

January 2022

Created 1 repository

Created a pull request in GPUOpen-Drivers/llpc that received 41 comments

Refactor PipelineBuilder allow for future pipeline types. NFC.

Make it easier to add support for new pipeline types without having to modify the compilation logic for graphics and compute pipelines. New pipelin…

+521 −201 41 comments

Created an issue in GPUOpen-Drivers/llpc that received 8 comments

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