Open source repositories tagged with #translation-validation, ranked by health score.
Automatic verification of LLVM optimizations
