Pinned Repositories
vulkan-performance-layers
Vulkan layers to measure and analyze graphics performance.
llpc
LLVM-Based Pipeline Compiler
iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
smt-jit
Simple JIT evaluator for a subset of SMT-LIB
tea-dsa-extras
TeaDsa benchmarks and scripts
TyDsa
Type-sensitive points-to analysis prototype in Datalog for an llvm-like language
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
shark-ai
SHARK Inference Modeling and Serving
seahorn
SeaHorn Verification Framework
kuhar's Repositories
kuhar/smt-jit
Simple JIT evaluator for a subset of SMT-LIB
kuhar/actions-test
kuhar/alive2
Automatic verification of LLVM optimizations
kuhar/amber
Amber is a multi-API shader test framework
kuhar/AMDVLK
AMD Open Source Driver For Vulkan
kuhar/DirectXShaderCompiler
This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.
kuhar/hip-matmul
kuhar/iree
👻
kuhar/iree-kernel-benchmark
Benchmark kernels performance through IREE
kuhar/iree-kernel-benchmarks
kuhar/iree-turbine
IREE's PyTorch Frontend, based on Torch Dynamo.
kuhar/llm-dev
Temporary repo for llm development.
kuhar/llpc
LLVM-Based Pipeline Compiler
kuhar/llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
kuhar/mlir-www
kuhar/pal
Platform Abstraction Library
kuhar/performance-layers
kuhar/seahorn
SeaHorn Verification Framework
kuhar/shaderc
A collection of tools, libraries, and tests for Vulkan shader compilation.
kuhar/SHARK
SHARK - High Performance Machine Learning Distribution
kuhar/sharktank
SHARK Inference Modeling and Serving
kuhar/SPIRV-Cross
SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.
kuhar/SPIRV-Headers
SPIRV-Headers
kuhar/SPIRV-Tools
kuhar/stablehlo
Backward compatible ML compute opset inspired by HLO/MHLO
kuhar/uVkCompute
A micro Vulkan compute pipeline and a collection of benchmarking compute shaders
kuhar/vk_callback_swapchain
kuhar/Vulkan
Examples and demos for the new Vulkan API
kuhar/Vulkan-Tools
Vulkan Utilities and Tools
kuhar/xgl
Vulkan API Layer