Roblox/luau

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

3 best points · 0 comments · 1 Hacker News post · 6,055 GitHub stars · View on GitHub

Hacker News discussions

• Prototyping a small subset of Luau in Agda (3 points, 0 comments, by eatonphil, 2022-02-09)