Game Kitchen, n: A place where one goes to cook up games.
This project cannot easily be built from source. If you would like to try using it, download the installer from the downloads section. Windows only.
Game Kitchen 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 type checker.
Static Type Checker
Game Kitchen 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.