Luaを静的型付けで書けるようにしたもの Neovimのプラグインを書くためのプラグインもある。実用性高そう。