You are right, they are using Docker, therefore it's written in C.