Judge0 IDE – Write and execute code in 60 programming languages

executable (a.out) is an interesting choice —I'd guess it's x86, and probably not really a.out but a more modern exe format— but are there any relevant docs?