Löve Studio is an editor designed specifically for creating games for the love framework (www.love2d.org). It has a full IDE feature set, which includes the following: a debugger, intellisense, go to definition, efficient project traversal, and even an optional experimental type checker.
Static Type Checker
Löve Studio includes a somewhat experimental Type System. As far as I know, this is one of the most in-depth static type checkers available for lua. The type checker operates interactively, highlighting errors during programming which wouldn't have otherwise surfaced until runtime.
I have posted a few videos demonstrating the type checker here.