LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+1075%)
DstepA tool for converting C and Objective-C headers to D modules
Stars: ✭ 177 (+1006.25%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+1143.75%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (+925%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+1412.5%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+1025%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (+56.25%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+16156.25%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+1175%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (+868.75%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+1468.75%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (+6.25%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+1062.5%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+16831.25%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+1025%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (+250%)
Play with llvmA book about LLVM & Clang(中文开源书:玩转 LLVM)
Stars: ✭ 175 (+993.75%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+1312.5%)
ShellvmA collection of LLVM transform and analysis passes to write shellcode in regular C
Stars: ✭ 170 (+962.5%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (+25%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (+887.5%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+1243.75%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+1162.5%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (+831.25%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+1175%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (+500%)
NxdkThe cross-platform, open-source SDK to develop for original Xbox: *new* xdk
Stars: ✭ 200 (+1150%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+1443.75%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (+1087.5%)
neo-cYet another modern compiler. It is also C compiler. Using LLVM wih boehmGC
Stars: ✭ 72 (+350%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (+1062.5%)
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 (+16725%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+1050%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-12.5%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (+1037.5%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+1362.5%)
Constexpr EverythingRewrite C++ code to automatically apply `constexpr` where possible
Stars: ✭ 178 (+1012.5%)
clangbuilderBuilding Clang ♡ Utility and Environment
Stars: ✭ 101 (+531.25%)
Webassembly ExamplesFrom Simple To Complex. A complete collection of webassembly examples.
Stars: ✭ 177 (+1006.25%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+1337.5%)
Cheerp LlvmLegacy repo, migrated to cheerp-compiler monorepo
Stars: ✭ 174 (+987.5%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (+493.75%)
DaggerBinary Translator to LLVM IR
Stars: ✭ 174 (+987.5%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+1293.75%)
McsemaFramework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Stars: ✭ 2,198 (+13637.5%)
FastLuaLua trace JIT compiler using LLVM-C
Stars: ✭ 22 (+37.5%)
ClingThe cling C++ interpreter
Stars: ✭ 2,322 (+14412.5%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+1287.5%)
Rhine🔬 a C++ compiler middle-end, using an LLVM backend
Stars: ✭ 157 (+881.25%)
vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+1112.5%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+1225%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (+37.5%)
linuxLinux kernel source tree
Stars: ✭ 234 (+1362.5%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (+106.25%)
Pure LangPure programming language
Stars: ✭ 209 (+1206.25%)