Alive2

Translation validation for LLVM
Is freely licensed? ✅
Website https://github.com/AliveToolkit/alive2
Source https://github.com/AliveToolkit/alive2
NLNet grant pages