Luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua. Developed and maintained by @Roblox.

Pinned Repositories

.github
00
agda-typeck
A partial implementation of Luau typechecker in Agda for machine verification
Language:Agda71
benchmark-data
Benchmark reports automatically generated from workflows in Luau repository
Language:JavaScript20
dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
Language:JavaScript0 1 01
luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++3.8k 67 461355
research
Research papers and publications for Luau
Language:TeX12 2 01
rfcs
RFCs for Luau evolution
36 9 023
site
Documentation site for Luau
Language:HTML7 4 012
SublimeLinter-luau
SublimeLinter plugin for Luau
Language:Python6 1 10

Luau's Repositories

luau-lang/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Language:C++3.8k 67 461355
luau-lang/rfcs
RFCs for Luau evolution
36 9 023
luau-lang/research
Research papers and publications for Luau
Language:TeX12 2 01
luau-lang/agda-typeck
A partial implementation of Luau typechecker in Agda for machine verification
Language:Agda71
luau-lang/site
Documentation site for Luau
Language:HTML7 4 012
luau-lang/SublimeLinter-luau
SublimeLinter plugin for Luau
Language:Python6 1 10
luau-lang/benchmark-data
Benchmark reports automatically generated from workflows in Luau repository
Language:JavaScript20
luau-lang/.github
00
luau-lang/dcr-timetraveler
Time-traveling state inspector for the Luau DCR solver.
Language:JavaScript0 1 01