Comment by debugnik

Note that some of those can't run on a regular Lua runtime.

Luau is a separate implementation of a Lua dialect. However, it's backed by Roblox and being increasingly used in high budget games such as Alan Wake 2, and tools like Rive.

And Terra is more of a low-level language embedded in regular Lua for metaprogramming, than a statically-typed Lua.

In this vein there's also Pallene, which integrates better with regular Lua on a slightly-patched Lua runtime.

https://github.com/pallene-lang/pallene

(BTW the links for Nelua and Luau repos got mixed.)