GitHub repository: mascarenhas/typedlua
Primary language: Lua
Description: An Optional Type System for Lua