[silenced_trope]

I don't know, but am bored so looked into it.

From looking at the Github repo's contributors, forks, etc it doesn't look like it.

ChatGPT says it isn't used outside of Roblox, but google found this cross-dev game framework that has their own variant they've started: giderosmobile.com. But Google doesn't show anyone else?

[aduermael]

I did exactly the same, starting from the repository on GitHub. Though chat though me it was used outside Roblox, but without giving me examples.

Gideros is an interesting case, seems like they already added / modified features while using Lua and had to replicate those changes supporting their own version of Luau.

Personally, I would prefer to stick with regular Luau to benefit from regular improvements and be able to contribute back to the project eventually.