is

An easy to use type checking library for Lua.
Primarily designed for the creation of "statically typed" functions.