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.
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
seahorn
SeaHorn Verification Framework
kuhar's Repositories
kuhar/smt-jit
Simple JIT evaluator for a subset of SMT-LIB
kuhar/tea-dsa-extras
TeaDsa benchmarks and scripts
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/brunch
Data processing and execution
kuhar/crab-llvm
Abstract Interpretation of LLVM bitcode
kuhar/DirectXShaderCompiler
This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.
kuhar/iree
👻
kuhar/iree-kernel-benchmarks
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/pharos
Automated static analysis tools for binary programs
kuhar/seahorn
SeaHorn Verification Framework
kuhar/sexpresso
An s-expression library for C++
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-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