Well that was an astonishing achievement! The whole humanity is so proud. Here is a programmers@stackexchange thread that has some information about what its software was written in, supposedly embedded C; as well as that the tests were written in Python.