Typed Lua https://the-ravi-programming-language.readthedocs.io/en/latest/ravi-overview.html https://github.com/andremm/typedlua https://github.com/teal-language/tl https://luarocks.org/