AliveToolkit's tracked open-source repos, sorted by stars.
Automatic verification of LLVM optimizations
