Giters
Luau (luau-lang)

Luau

luau-lang

Geek Repo

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

Home Page:https://luau-lang.org

Github PK Tool:Github PK Tool

Luau's repositories

luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

Language:C++License:MITStargazers:3720Issues:68Issues:449

rfcs

RFCs for Luau evolution

Stargazers:35Issues:9Issues:0

research

Research papers and publications for Luau

Language:TeXStargazers:12Issues:2Issues:0

agda-typeck

A partial implementation of Luau typechecker in Agda for machine verification

Language:AgdaLicense:MITStargazers:7Issues:0Issues:0

site

Documentation site for Luau

Language:HTMLLicense:MITStargazers:7Issues:4Issues:0

SublimeLinter-luau

SublimeLinter plugin for Luau

Language:PythonLicense:MITStargazers:6Issues:1Issues:1

benchmark-data

Benchmark reports automatically generated from workflows in Luau repository

Language:JavaScriptStargazers:2Issues:0Issues:0

.github

Stargazers:0Issues:0Issues:0

dcr-timetraveler

Time-traveling state inspector for the Luau DCR solver.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0