4 ms·
* Typed Lua: https://github.com/andremm/typedlua https://github.com/andremm/typedlua (not actively maintained) * tl: https://github.com/teal-language/tl https:
by soapdog 6y ago
* Typed Lua: https://github.com/andremm/typedlua https://github.com/andremm/typedlua (not actively maintained)
* tl: https://github.com/teal-language/tl https://github.com/teal-language/tl a compiler for Teal a typed dialect of lua. (actively maintained)
- cassepipe 6y agoThere is also Luau and Ravi but I don't think any of them is official which was the original question
- darek 6y agoIndeed, Teal looks like it has the right brains behind it (author was involved with several earlier attempts at typed Lua) and is actively maintained. I'm personally watching it for future game development usage.