Juneyoung Lee

mlir-tv. A translation validation framework for MLIR

llvmscript. One-for-all python script for running LLVM experiment

hol-light-materials. Online materials for HOL-Light

eurollvm19. EuroLLVM'19 Safely Optimizing Casts between Pointers and Integers

rust-practice. Rust

llvmtwin-ae-1. HTML

toplevel-light. OCaml

alive2. Automatic verification of LLVM optimizations

atdtocpp. Generates .cpp code (with classes) from .atd file

llvm-intptr. LLVM