Game Kitchen, n: A place where one goes to cook up games.
Game Kitchen (formerly love 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 type checker.
The most significant feature that it lacks is support for multi-threading.
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.
I have posted a few videos demonstrating the type checker here.
If you are getting an error when you try to run your game, it may be that your video drivers do not support OpenGL 2.1 or OpenGL ES 2. In this case, the correct fix may be to update your drivers.