Giters
Jakub Kuderski (kuhar)

kuhar

Geek Repo

77

followers

6

following

36

stars

Company:AMD (AI Group)

Location:Toronto, ON, Canada

Github PK Tool:Github PK Tool

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

Jakub Kuderski's repositories

smt-jit

Simple JIT evaluator for a subset of SMT-LIB

Language:SMTLicense:MITStargazers:5Issues:2Issues:0

tea-dsa-extras

TeaDsa benchmarks and scripts

Language:CLicense:MITStargazers:3Issues:2Issues:0

actions-test

Language:PythonStargazers:0Issues:2Issues:0

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:0Issues:2Issues:0

amber

Amber is a multi-API shader test framework

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

AMDVLK

AMD Open Source Driver For Vulkan

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

brunch

Data processing and execution

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

crab-llvm

Abstract Interpretation of LLVM bitcode

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

DirectXShaderCompiler

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

iree

đź‘»

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

iree-kernel-benchmarks

Language:MLIRLicense:Apache-2.0Stargazers:0Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

llpc

LLVM-Based Pipeline Compiler

Language:C++License:MITStargazers:0Issues:2Issues:0

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.

Language:C++Stargazers:0Issues:2Issues:0

mlir-www

Stargazers:0Issues:0Issues:0

pal

Platform Abstraction Library

Language:C++License:MITStargazers:0Issues:2Issues:0

performance-layers

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

pharos

Automated static analysis tools for binary programs

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sexpresso

An s-expression library for C++

Language:C++License:CC0-1.0Stargazers:0Issues:1Issues:0

shaderc

A collection of tools, libraries, and tests for Vulkan shader compilation.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

SHARK

SHARK - High Performance Machine Learning Distribution

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

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.

Language:GLSLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

SPIRV-Tools

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

stablehlo

Backward compatible ML compute opset inspired by HLO/MHLO

Language:MLIRLicense:Apache-2.0Stargazers:0Issues:1Issues:0

uVkCompute

A micro Vulkan compute pipeline and a collection of benchmarking compute shaders

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

vk_callback_swapchain

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

Vulkan

Examples and demos for the new Vulkan API

Language:C++License:MITStargazers:0Issues:2Issues:0

Vulkan-Tools

Vulkan Utilities and Tools

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

xgl

Vulkan API Layer

Language:C++License:MITStargazers:0Issues:2Issues:0