pymlirPython interface for MLIR - the Multi-Level Intermediate Representation
Stars: ✭ 84 (+154.55%)
open-opsOpen Optimizing Parallelizing System
Stars: ✭ 21 (-36.36%)
Meta ClangClang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project
Stars: ✭ 76 (+130.3%)
Llvm TutorA collection of out-of-tree LLVM passes for teaching and learning
Stars: ✭ 941 (+2751.52%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+463.64%)
Optviewer DemoDemonstration of LLVM's opt-viewer tool
Stars: ✭ 63 (+90.91%)
GllvmWhole Program LLVM: wllvm ported to go
Stars: ✭ 126 (+281.82%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (+463.64%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+584.85%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+445.45%)
LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+469.7%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+445.45%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+7781.82%)
DstepA tool for converting C and Objective-C headers to D modules
Stars: ✭ 177 (+436.36%)
Play with llvmA book about LLVM & Clang(中文开源书:玩转 LLVM)
Stars: ✭ 175 (+430.3%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (+187.88%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+660.61%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+551.52%)
ShellvmA collection of LLVM transform and analysis passes to write shellcode in regular C
Stars: ✭ 170 (+415.15%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (+396.97%)
Pure LangPure programming language
Stars: ✭ 209 (+533.33%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (+378.79%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (+475.76%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+609.09%)
vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+487.88%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (+369.7%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+457.58%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+596.97%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (+451.52%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (-24.24%)
Constexpr EverythingRewrite C++ code to automatically apply `constexpr` where possible
Stars: ✭ 178 (+439.39%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+575.76%)
Webassembly ExamplesFrom Simple To Complex. A complete collection of webassembly examples.
Stars: ✭ 177 (+436.36%)
Cheerp LlvmLegacy repo, migrated to cheerp-compiler monorepo
Stars: ✭ 174 (+427.27%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+572.73%)
DaggerBinary Translator to LLVM IR
Stars: ✭ 174 (+427.27%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-48.48%)
McsemaFramework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Stars: ✭ 2,198 (+6560.61%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+542.42%)
ClingThe cling C++ interpreter
Stars: ✭ 2,322 (+6936.36%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+648.48%)
Rhine🔬 a C++ compiler middle-end, using an LLVM backend
Stars: ✭ 157 (+375.76%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+512.12%)
go-recipes🦩 Tools for Go projects
Stars: ✭ 2,490 (+7445.45%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (+351.52%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+633.33%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+518.18%)
Crab LlvmStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (+333.33%)
Clang Llvm Tutorialclang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
Stars: ✭ 139 (+321.21%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+518.18%)
LowfatLean C/C++ Bounds Checking with Low-Fat Pointers
Stars: ✭ 139 (+321.21%)
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 (+8057.58%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+503.03%)
LibcudacxxThe C++ Standard Library for your entire system.
Stars: ✭ 1,861 (+5539.39%)