Worth mentioning: https://github.com/elua

Allows to run Lua on bare metal, no OS involved. It's what the nodemcu firmware for the ESP cards is based on.