alive. Alive: Automatic LLVM's Instcombine Verifier
cvc4-win64. Shell
hammerpass. Hammerspoon script for the pass password manager
ub-canaries. collection of C/C++ programs that try to get compilers to exploit undefined behavior
