LuaContractor is a lightweight Design by Contract (DbC) framework for the Lua scripting language - View it on GitHub