They were using Lua, but found some of the features of the language to be non-condusive to microcontroller use.

If you want something similar that can be programmed bare-metal, check out the spark core: https://www.spark.io/