Theese modules are core modules in Lua, we are using Lua 5.1
To see how the Lua state is created have a look at the CtrlrLuaManager constructor. The io module is not there, but it’s because i was initializing it in the wrong way, the new “proper” way is the way debug and package modules are now loaded.
With the package module loaded now you can load any other module inside Ctrlr without recompiling. There is a set of pre-defined paths that Lua uses to find those modules, you need to search the documentation for details.