Austin, TX

Juneyoung Lee

Expert
@aqjune

A personal github account.

aqjune.github.io/

mlir-tv. A translation validation framework for MLIR

100

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

11

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

9

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

5

rust-practice. Rust

2

llvmtwin-ae-1. HTML

1

toplevel-light. OCaml

1

alive2. Automatic verification of LLVM optimizations

1

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

1

llvm-intptr. LLVM

1
10
Apply