Luau ORG

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

A standalone Luau runtime for general-purpose programming

Official website and documentation for the Luau programming language

A web playground for type checking, compiling, running, and inspecting Luau code.

Research papers and publications for Luau

RFCs for Luau evolution

A partial implementation of Luau typechecker in Agda for machine verification

A VSCode extension for lute lint and someday maybe more.

SublimeLinter plugin for Luau

Benchmark reports automatically generated from workflows in Luau repository

Time-traveling state inspector for the Luau DCR solver.

GitHub Action to install NASM

GitHub Action to setup Developer Command Prompt for Microsoft Visual C++

Documentation site for Luau

A GitHub action to create a pull request for changes to your repository in the actions workspace

An internal fork of the astro deploy action.

📦 :octocat: GitHub Action for creating GitHub Releases

No description.