A small, fast, and embeddable programming language based on Lua with a gradual type system.