A LLVM-based static analysis framework.

A curated suite of AI agent skills for systems and low-level programming, covering C/C++, Rust, Zig, and various toolchain components like compilers, debuggers, and profilers.

Compiler for LightGBM gradient-boosted trees, based on LLVM. Speeds up prediction by ≥10x.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.