Alternatives and similar repositories for Lean

Users that are interested in Lean are comparing it to the libraries listed below

• Rerumu / FiThree
  Lua 5.3 bytecode interpreter, in Lua
  ☆17Updated 6 years ago
• uniquadev / LuauVM
  Luau 2-3 bytecode interpreter, in Luau
  ☆20Updated 7 months ago
• JustAPerson / lbi
  Lua Bytecode Interpreter
  ☆66Updated 8 years ago
• optimisticside / luaul
  The Luau compiler implemented in Luau (work in progress)
  ☆22Updated 2 years ago
• Rerumu / Rerubi
  Legacy Lua bytecode interpreter; discontinued in favor of https://github.com/Rerumu/FiOne
  ☆23Updated 5 years ago
• Rerumu / FiOne
  Lua 5.1 bytecode interpreter, in Lua
  ☆141Updated 5 months ago
• decimalcubed / luau-thread
  Parallel Luau library designed for simplicity and ease of use.
  ☆20Updated last year
• RadiatedExodus / LuauInLuau
  DEPRECATED - https://github.com/RadiatedExodus/LuauCeption
  ☆17Updated last year
• roblox-compilers / roblox-c
  C and C++ to Luau compiler for Roblox.
  ☆9Updated last year
• xgladius / luauDec
  Decompiler for luau (https://luau-lang.org/)
  ☆68Updated 10 months ago
• luau-lang / research
  Research papers and publications for Luau
  ☆13Updated 9 months ago
• cipharius / msgpack-luau
  A pure MessagePack binary serialization format implementation in Luau
  ☆39Updated 8 months ago
• kosuke14 / vLuau
  Luau VM with compiler can be ran in Luau.
  ☆22Updated 3 months ago
• Anaminus / wireshark-roblox
  A Wireshark dissector for the Roblox network protocol
  ☆31Updated 7 years ago
• Rerumu / Binja-Luau
  A Binary Ninja architecture plugin for dealing with Luau files
  ☆18Updated 2 years ago
• RadiatedExodus / LuauCeption
  Running Luau inside Luau
  ☆30Updated 5 months ago
• Roblox / luau-regexp
  A regular expression library for Luau. This is a read-only mirror.
  ☆21Updated 8 months ago
• Rerumu / Wasynth
  WebAssembly to Lua translation library and tool
  ☆152Updated 9 months ago
• Dekkonot / bitbuffer
  A binary stream module for packing binary data in pure Lua
  ☆45Updated 6 months ago
• TheGreatSageEqualToHeaven / Remoteless
  An evil networking library created purely out of spite for Roblox
  ☆12Updated 9 months ago
• PY44N / Lua-Obfuscator
  A Lua Obfuscator made for Roblox, but should work on most Lua applications
  ☆110Updated last year
• roblox-ts / luau-ast
  ☆12Updated 5 months ago
• MadStudioRoblox / Sera
  Low-level schematized serialization library (Roblox)
  ☆14Updated last month
• atrexus / unluau
  A decompiler for Luau (Roblox's Lua based programming language: https://luau-lang.org/).
  ☆111Updated 3 months ago
• rce-incorporated / Fiu
  Luau bytecode interpreter for Luau
  ☆117Updated last month
• ReFreezed / DumbLuaParser
  Lua parsing library capable of optimizing and minifying code.
  ☆34Updated 2 years ago
• regginator / LuaEncode
  Fast table serialization library for pure Luau/Lua 5.1+
  ☆36Updated 2 months ago
• Herrtt / luamin.js
  Lua Beautifier + Minifier written in pure JavaScript.
  ☆92Updated 6 months ago
• truemedian / luvit-bin
  Luvit build scripts and weekly binary releases
  ☆22Updated last year
• 7ap / rbx
  🎮 Rust "bindings" for Roblox.
  ☆21Updated last year