AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+5.15%)
Mutual labels: llvm
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+16.49%)
Mutual labels: llvm
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+24.74%)
Mutual labels: llvm
Pure LangPure programming language
Stars: ✭ 209 (+7.73%)
Mutual labels: llvm
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+1240.72%)
Mutual labels: llvm
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+2.58%)
Mutual labels: llvm
codebrowserWoboq CodeBrowser
Stars: ✭ 985 (+407.73%)
Mutual labels: llvm
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+14.95%)
Mutual labels: llvm
CheckedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Stars: ✭ 2,692 (+1287.63%)
Mutual labels: llvm
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+9.28%)
Mutual labels: llvm
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+14.43%)
Mutual labels: llvm
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+20.62%)
Mutual labels: llvm
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+4.12%)
Mutual labels: llvm
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+27.32%)
Mutual labels: llvm
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+5.15%)
Mutual labels: llvm
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+18.56%)
Mutual labels: llvm
sbt-instrumentationConfigurable instrumentation of LLVM bitcode
Stars: ✭ 31 (-84.02%)
Mutual labels: llvm
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+29.38%)
Mutual labels: llvm
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+1296.39%)
Mutual labels: llvm