alive. Alive: Automatic LLVM's Instcombine Verifier
torchy. A tracing JIT compiler for PyTorch
llvm-aa-verif. Verification of LLVM's alias analysis proof rules
pic1website. PIC1 website
floc26website. JavaScript
chocore2c. Chocolatey re2c package
