Shadowgraph
TrendingAbout
Sign in
← Explore by area

Cluster 636210

4 repos

C++ · 2
Go · 1
llvm ·2,526
llvm-ir ·2,526
go ·1,278
golang ·1,278
verification ·1,168
automatic-verification ·1,168
model-checking ·1,168
smt ·1,168
symbolic-execution ·1,168
translation-validation ·1,168

Related clusters

LLVM Compiler Infrastructure & Toolchains15Cluster 6352683GLSL/HLSL Shader Compilation & SPIR-V13Cluster 6343446Cluster 6356794Cluster 6336792

AliveToolkit/alive2

Automatic verification of LLVM optimizations

C++

1,168

2,650 commits

dtcxzyw/llvm-opt-benchmark

An LLVM IR dataset for data-driven compiler optimization research

80

16,783 commits

llir/llvm

Library for interacting with LLVM IR in pure Go.

Go

1,278

1,717 commits

google/souper

A superoptimizer for LLVM IR

C++

2,386

851 commits