Souper - Superoptimizer for LLVM IR. (HN) Mull - Mutation testing system built on top of LLVM. CodeGen - Experimental wrapper over LLVM for generating and compiling code at run-time. LLVM Tutor - Collection of self-contained reference LLVM passes. It's a tutorial that targets novice and aspiring LLVM developers. Quala - Type Qualifiers for LLVM/Clang. haybale - Symbolic execution of LLVM IR, written in Rust. Clang - C language family frontend for LLVM. (Docs) Alive2 - Automatic verification of LLVM optimizations. jitmap - Small library providing an execution engine for logical binary expressions on bitmaps. LLVM Explore - Notes created while studying LLVM compiler infrastructure in preparation for compiler engineer job and onsite interview. Cilk - Toy Compiler Infrastructure influenced by LLVM written in Rust. Anselm - Tool that allows you to describe and detect patterns of bad behavior in function calls. pitchfork - Verifying constant-time code with symbolic execution. PhASAR - LLVM-based Static Analysis Framework. (Web) cclyzer - Tool for analyzing LLVM bitcode using Datalog. Vellvm - Coq formalization of the semantics of (a subset of) the LLVM compiler IR. KLEE - Symbolic virtual machine built on top of the LLVM compiler infrastructure. ALLVM Research Project - All software components — except a small set needed for bootstrapping — are represented in a virtual instruction set instead of native machine code. The Dynamic Runtime Inlining (DRTI) - With this project it is possible to take the output from an LLVM compiler such as clang and allow selected parts of the code to recompile themselves at runtime. Enzyme - High-Performance Automatic Differentiator of LLVM. (Docs) DebugIR - Debugging LLVM-IR Files.