Teal
The compiler for Teal, a typed dialect of Lua
...Running tl. loader() will add Teal support to your package loader, meaning that require() will be able to run .tl files. Alternatively, you can find pre-compiled binaries for Linux x86_64 and Windows x86_64 at the releases page. The packages contain a stand-alone executable that can run Teal programs (without the need of a separate Lua installation) and also compile them to Lua.