Luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua. Developed and maintained by @Roblox.
Pinned Repositories
agda-typeck
A partial implementation of Luau typechecker in Agda for machine verification
benchmark-data
Benchmark reports automatically generated from workflows in Luau repository
dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
lute
A standalone Luau runtime for general-purpose programming
msvc-dev-cmd
GitHub Action to setup Developer Command Prompt for Microsoft Visual C++
research
Research papers and publications for Luau
rfcs
RFCs for Luau evolution
site
Official website and documentation for the Luau programming language
SublimeLinter-luau
SublimeLinter plugin for Luau
Luau's Repositories
luau-lang/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
luau-lang/lute
A standalone Luau runtime for general-purpose programming
luau-lang/rfcs
RFCs for Luau evolution
luau-lang/research
Research papers and publications for Luau
luau-lang/site
Official website and documentation for the Luau programming language
luau-lang/agda-typeck
A partial implementation of Luau typechecker in Agda for machine verification
luau-lang/SublimeLinter-luau
SublimeLinter plugin for Luau
luau-lang/benchmark-data
Benchmark reports automatically generated from workflows in Luau repository
luau-lang/dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
luau-lang/msvc-dev-cmd
GitHub Action to setup Developer Command Prompt for Microsoft Visual C++
luau-lang/setup-nasm
GitHub Action to install NASM
luau-lang/site-mirror
Documentation site for Luau
luau-lang/.github
luau-lang/action-gh-release
📦 :octocat: GitHub Action for creating GitHub Releases
luau-lang/create-pull-request
A GitHub action to create a pull request for changes to your repository in the actions workspace