You might enjoy https://typescripttolua.github.io/ https://typescripttolua.github.io/ I tried a bunch of different typed luas before landing on this project an

You might enjoy https://typescripttolua.github.io/ https://typescripttolua.github.io/ I tried a bunch of different typed luas before landing on this project and having a really wonderful experience incrementally porting my most recent love2d thing over and then being able to make big architectural changes with confidence that types gave me. I was able to do this port without modifying the original lua files, just replacing them with typescript one by one. Any lua libraries I was using I kept using by just writing some type declarations for then and throwing them in with the compiled output.