That was going to be my guess, too. Looking through some syllabi over the years it looks like they used Scala for it for a while and Python, more recently.