A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Wait-wait, Roblox uses Luau which is slightly different from vanilla Lua, keep that in mind.
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
does roblox uses the same lua as the other game engines?
1 project | reddit.com/r/lua | 27 Jun 2022
Prototyping a small subset of Luau in Agda
1 project | news.ycombinator.com | 9 Feb 2022
1 project | reddit.com/r/badcode | 29 Dec 2021
Requesting r/Luau, it seems to be unused and private and I would like to open it for use for people with the recent open sourcing of Roblox's Luau programming language
1 project | reddit.com/r/redditrequest | 29 Nov 2021
Please explain versions of Lua (and the book) to the new user/skeptic
3 projects | reddit.com/r/lua | 23 Nov 2021