Unfortunately not, it is the whole Compiler and VM. I'm not super familiar with embedding Luau only having messed around with it for a bit, but I highly doubt it'd be too difficult to drop in Luau over top an existing Lua implementation
I found Teal, which seems to Lua what TypeScript is to JavaScript
I've used it successfully with Love2d projects (albeit with some quirks)
What are the quirks?
All of these, too: https://typescripttolua.github.io/docs/caveats
1: https://github.com/teal-language/teal-types/tree/master/type... 2: https://github.com/MikuAuahDark/love2d-tl