Skip to content

@luau-lang Luau

Change the repository type filter

All

    Repositories list

    10 repositories

    • benchmark-data

      Public
      Benchmark reports automatically generated from workflows in Luau repository
      JavaScript
      •0•2•0•0•Updated Nov 11, 2024Nov 11, 2024

    • luau

      Public
      A fast, small, safe, gradually typed embeddable scripting language derived from Lua
      programming-languageluascripting-language
      C++
      •
      MIT License
      •381•4.1k•214•11•Updated Nov 11, 2024Nov 11, 2024

    • site

      Public
      Documentation site for Luau
      HTML
      •
      MIT License
      •20•9•0•6•Updated Nov 1, 2024Nov 1, 2024

    • rfcs

      Public
      RFCs for Luau evolution
      33•44•0•23•Updated Oct 28, 2024Oct 28, 2024

    • .github

      Public
      0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • site-mirror

      Public
      Documentation site for Luau
      HTML
      •
      MIT License
      •20•0•0•0•Updated Aug 13, 2024Aug 13, 2024

    • research

      Public
      Research papers and publications for Luau
      TeX
      •2•13•0•1•Updated Aug 5, 2024Aug 5, 2024

    • agda-typeck

      Public
      A partial implementation of Luau typechecker in Agda for machine verification
      Agda
      •
      MIT License
      •1•8•0•0•Updated Dec 4, 2023Dec 4, 2023

    • dcr-timetraveler

      Public
      Time-traveling state inspector for the Luau DCR solver.
      JavaScript
      •
      MIT License
      •0•1•0•0•Updated Feb 22, 2023Feb 22, 2023

    • SublimeLinter-luau

      Public
      SublimeLinter plugin for Luau
      Python
      •
      MIT License
      •0•6•1•0•Updated Feb 2, 2022Feb 2, 2022