Craig Disselkoen

llvm-ir. LLVM IR in natural Rust data structures

pitchfork. Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

llvm-ir-analysis. Rust

Kaleidoscope-MacrosOnTheFly. Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.

Kaleidoscope-LED-LetterGuesser. Kaleidoscope plugin creating an LED 'LetterGuesser' effect.

boolector-rs. Safe high-level bindings for the Boolector SMT solver

llvm-ir-taint. Rust

Kaleidoscope-Hardware-Virtual. "Virtual" hardware plugin for Kaleidoscope: test and debug Kaleidoscope sketches, plugins, and core on x86

inkwell. It's a New Kind of Wrapper for Exposing LLVM (Safely)

llvm-sys-featured. Bindings to LLVM's C API

z3.rs. Rust bindings for the Z3 solver.