KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+804%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+716%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-32%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+10736%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+644%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (+124%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+760%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (+312%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (-20%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+868%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+620%)
linuxLinux kernel source tree
Stars: ✭ 234 (+836%)
homebrew-llvmLLVM formulae for the Homebrew package manager
Stars: ✭ 23 (-8%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+10304%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (+32%)
Pure LangPure programming language
Stars: ✭ 209 (+736%)
tinylangTiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)
Stars: ✭ 61 (+144%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+696%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (+0%)
LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+652%)
qbiccExperimental static compiler for Java programs.
Stars: ✭ 118 (+372%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+620%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+888%)
Constexpr EverythingRewrite C++ code to automatically apply `constexpr` where possible
Stars: ✭ 178 (+612%)
clangbuilderBuilding Clang ♡ Utility and Environment
Stars: ✭ 101 (+304%)
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 (+10668%)
llrlAn experimental Lisp-like programming language
Stars: ✭ 126 (+404%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+836%)
neo-cYet another modern compiler. It is also C compiler. Using LLVM wih boehmGC
Stars: ✭ 72 (+188%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+820%)
ugoµGo编程语言(从头开发一个迷你Go语言编译器)
Stars: ✭ 38 (+52%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+792%)
FastLuaLua trace JIT compiler using LLVM-C
Stars: ✭ 22 (-12%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+788%)
EmbedSanitizerEmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
Stars: ✭ 16 (-36%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+748%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (+284%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+708%)
CSCD70CSCD70 Compiler Optimization
Stars: ✭ 147 (+488%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+716%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-44%)
NxdkThe cross-platform, open-source SDK to develop for original Xbox: *new* xdk
Stars: ✭ 200 (+700%)
DachsDachs; A Doggy 🐶 Programming Language
Stars: ✭ 82 (+228%)
ReoptA tool for analyzing x86-64 binaries.
Stars: ✭ 190 (+660%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (+280%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (+644%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+636%)
vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+676%)
Clang Expand🐉 A clang tool for happy refactoring without source-code gymnastics
Stars: ✭ 182 (+628%)
nballerina-cppBallerina compiler backend that generates platform-specific executables.
Stars: ✭ 16 (-36%)
contechThe Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
Stars: ✭ 43 (+72%)
deollvm64deobfuscator llvm arm64 script
Stars: ✭ 67 (+168%)
geodeThe Geode Programming Language
Stars: ✭ 16 (-36%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (-12%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+904%)