3-day current streak·83-day longest streak
-
iree ★ PINNED ⑂
👻
C++ ★ 0 1mo agoExplain → -
rocm-systems ★ PINNED ⑂
super repo for rocm systems projects
★ 0 1mo agoExplain → -
llvm-project ★ PINNED ⑂
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.
★ 0 3mo agoExplain → -
llpc ★ PINNED ⑂
LLVM-Based Pipeline Compiler
C++ ★ 0 4y agoExplain → -
seahorn ★ PINNED ⑂
SeaHorn Verification Framework
C ★ 0 6y agoExplain → -
agent-workspace
No description.
Python ★ 7 16d agoExplain → -
amdgpu-isa-manuals
AMD GPU ISA Manuals as Markdown
★ 7 8mo agoExplain → -
smt-jit
Simple JIT evaluator for a subset of SMT-LIB
SMT ★ 6 6y agoExplain → -
TyDsa
Type-sensitive points-to analysis prototype in Datalog for an llvm-like language
Python ★ 6 7y agoExplain → -
tea-dsa-extras
TeaDsa benchmarks and scripts
C ★ 3 7y agoExplain → -
llvm-distro
No description.
Shell ★ 1 4mo agoExplain → -
mark-and-recall.nvim
LLM-friendly bookmarking and quick navigation plugin for Neovim
Lua ★ 1 4mo agoExplain → -
CppUnroll
Tiny C++ loop unrolling library
C++ ★ 1 10y agoExplain → -
SeaSTL ⑂
C++ STL implementation for SeaHorn
C++ ★ 1 7y agoExplain → -
llvm-dominators ⑂
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
LLVM ★ 1 9y agoExplain → -
kmu
kuhar's multipurpose utilities (C++)
C++ ★ 1 10y agoExplain → -
IntervalArithmetic
Interval arithmetic library for PUT students
C++ ★ 1 11y agoExplain → -
worktree-scripts
Git worktree scripts for LLVM and IREE
Shell ★ 0 16d agoExplain → -
llama.cpp ⑂
LLM inference in C/C++
★ 0 2mo agoExplain → -
pyre-review ⑂
Lightweight human code review for agent branches
★ 0 3mo agoExplain → -
claude-workspace ⑂
No description.
★ 0 5mo agoExplain → -
hip-matmul ⑂
No description.
★ 0 1y agoExplain → -
sharktank ⑂
SHARK Inference Modeling and Serving
Python ★ 0 1mo agoExplain → -
llm-dev ⑂
Temporary repo for llm development.
★ 0 1y agoExplain → -
iree-kernel-benchmark ⑂
Benchmark kernels performance through IREE
★ 0 1y agoExplain → -
iree-turbine ⑂
IREE's PyTorch Frontend, based on Torch Dynamo.
★ 0 8mo agoExplain → -
SPIRV-Headers ⑂
SPIRV-Headers
★ 0 1y agoExplain → -
iree-kernel-benchmarks
No description.
MLIR ★ 0 2y agoExplain → -
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.
★ 0 2y agoExplain → -
SHARK ⑂
SHARK - High Performance Machine Learning Distribution
★ 0 2y agoExplain → -
Vulkan-Tools ⑂
Vulkan Utilities and Tools
★ 0 2y agoExplain → -
actions-test
No description.
Python ★ 0 3y agoExplain → -
stablehlo ⑂
Backward compatible ML compute opset inspired by HLO/MHLO
★ 0 3y agoExplain → -
amber ⑂
Amber is a multi-API shader test framework
★ 0 3y agoExplain → -
shaderc ⑂
A collection of tools, libraries, and tests for Vulkan shader compilation.
★ 0 3y agoExplain → -
uVkCompute ⑂
A micro Vulkan compute pipeline and a collection of benchmarking compute shaders
★ 0 2y agoExplain → -
mlir-www ⑂
No description.
★ 0 1y agoExplain → -
DirectXShaderCompiler ⑂
This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.
★ 0 4y agoExplain → -
vk_callback_swapchain ⑂
No description.
★ 0 5y agoExplain → -
AMDVLK ⑂
AMD Open Source Driver For Vulkan
★ 0 4y agoExplain → -
pal ⑂
Platform Abstraction Library
★ 0 4y agoExplain → -
performance-layers ⑂
No description.
C++ ★ 0 3y agoExplain → -
xgl ⑂
Vulkan API Layer
★ 0 4y agoExplain → -
Vulkan ⑂
Examples and demos for the new Vulkan API
★ 0 5y agoExplain → -
unformat ⑂
generates .clang-format file from example codebase
★ 0 8y agoExplain → -
SPIRV-Tools ⑂
No description.
C++ ★ 0 4y agoExplain → -
alive2 ⑂
Automatic verification of LLVM optimizations
★ 0 6y agoExplain → -
pharos ⑂
Automated static analysis tools for binary programs
C++ ★ 0 7y agoExplain → -
dafny ⑂
Dafny is a verification-aware programming language
C# ★ 0 7y agoExplain → -
sexpresso ⑂
An s-expression library for C++
C++ ★ 0 7y agoExplain → -
klee ⑂
KLEE Symbolic Execution Engine
C++ ★ 0 7y agoExplain → -
SVF ⑂
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
C ★ 0 7y agoExplain → -
system_hotkey ⑂
system wide hotkeys
Python ★ 0 7y agoExplain → -
brunch ⑂
Data processing and execution
Python ★ 0 7y agoExplain → -
crab-llvm ⑂
Abstract Interpretation of LLVM bitcode
C ★ 0 7y agoExplain → -
llvm-seahorn ⑂
LLVM components that are modified for SeaHorn
C++ ★ 0 8y agoExplain → -
sea-dsa ⑂
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
C++ ★ 0 7y agoExplain → -
Z3-IC3-PDR ⑂
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
Python ★ 0 10y agoExplain → -
seahorn_deps
SeaHorn's prebuilt dependencies
★ 0 8y agoExplain → -
clang ⑂
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
C++ ★ 0 9y agoExplain → -
hackscanner
No description.
Java ★ 0 9y agoExplain → -
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
C ★ 0 12y agoExplain → -
ctti ⑂
Compile Time Type Information for C++
C++ ★ 0 10y agoExplain → -
metatrace ⑂
No description.
C++ ★ 0 11y agoExplain → -
jeayeson ⑂
A very sane (header only) C++14 JSON library
C++ ★ 0 11y agoExplain →
No repos match these filters.