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.