Yet another team that switches to Luau for scripting; they even made their own VS Code extension.
I gave Luau a try recently but the syntax for external type declarations is undocumented and unstable, which made it awkward to test properly, and the available VS Code extensions default to a Roblox environment until you mess with their settings.
So mixed feelings for now, I guess this is why they built their own tooling for it.