GitHub repository: ASSERT-KTH/Galapagos
Primary language: LLVM
Description: N-version programming without humans https://arxiv.org/pdf/2408.09536