kuhar Goto Github PK

actions-test

alive2

Automatic verification of LLVM optimizations

amber

Amber is a multi-API shader test framework

amdvlk

AMD Open Source Driver For Vulkan

brunch

Data processing and execution

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

cppunroll

Tiny C++ loop unrolling library

crab-llvm

Abstract Interpretation of LLVM bitcode

ctti

Compile Time Type Information for C++

dafny

Dafny is a verification-aware programming language

directxshadercompiler

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

hackscanner

intervalarithmetic

Interval arithmetic library for PUT students

iree

👻

iree-kernel-benchmarks

jeayeson

A very sane (header only) C++14 JSON library

klee

KLEE Symbolic Execution Engine

kmu

kuhar's multipurpose utilities (C++)

llpc

LLVM-Based Pipeline Compiler

llvm-dominators

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

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.

llvm-seahorn

LLVM components that are modified for SeaHorn

metatrace

mlir-www

opencl-getting-started

A small "getting started" tutorial for OpenCL. See http://www.thebigblob.com/getting-started-with-opencl-and-gpu-computing/ for more info

pal

Platform Abstraction Library

performance-layers

pharos

Automated static analysis tools for binary programs

sea-dsa

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

seahorn

SeaHorn Verification Framework